Proof by using multiple theorems

Printable View