 Now suppose that the law of excluded middle were to hold. Then we would have, for any \(\varepsilon\), either \(\varepsilon = 0\) or \(\varepsilon \ne 0\). But (*) allows us to eliminate the second alternative, and we infer that, for all \(\varepsilon\), \(\varepsilon = 0\). This may be written