如何证明False = 0＆lt;＆gt; 0

Question

我如何证明

Goal False = (0<>0).

我尝试了omega，但找不到任何包含（False = ）或（ = False）的引理。