cleaned the wording and output of these two proofs