>>416
仮に
> ε∈0 μ∈0 #φ∈0
としましょう。

1/ε は存在しますか？

0 の定義は
　x × 0 = 0 × x = 0
がすべての元に対して成立することですが、それは成立しますか？