Download as PDF

Proof by assertion