proofs

1 2