>>277
「zeroでないもの」 は 「zeroでないなにか」 だよ。
zeroでない何かであれば何でも良い。