GoProof Question

GoProof Question