Proof help: equality of natural numbers

Printable View