[chias]

Easier proof:

Assume N != 1.

[asddubs]

yes although technically my proof also proves that X != 1*X, so it's more broadly applicable