proofs 1

proofs 1

proofs 2

proofs 2