simple proof help (I think I'm really close)

Printable View