3 ms·yes although technically my proof also proves that X != 1*X, so it's more broadly applicableby asddubs 5y agoyes although technically my proof also proves that X != 1*X, so it's more broadly applicable