Comments by BrockPurdy_13 (1)
proof is printed dk if could get the proof.