[asddubs]

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