logical proof problem

Printable View