yはO以外の実数ということにしよう。

ここで O=3と定義する。
y = 0 のとき yはO以外の実数でかつ 正でも負でもない。