Some proofs i got stuck on

Printable View