 Here now is the rigorous argument. We show that the failure of the law of excluded middle can be derived from the principle of infinitesimal cancellation. To begin with, if \(x \ne 0\), then \(x^2 \ne 0\), so that, if \(x^2 = 0\), then necessarily not \(x \ne 0\). This means that