a≠bに対してもa0=0=b0ゆえc0=d0からc=dは導かれん。
これが0で簡約できんという意味だ。何も漠然とはしておらん。