Need help putting proof into proper form

Printable View