Proofs_6-2-12