Proof

Additional 3 lines of proof