proof

7

Transcript of proof