Prove that adding one to itself is always different from 0

Printable View