ちなみに、環の構造を保つように0での除算を定義することが不可能であることはよく知られている。