Consider these proofs carefully.