>>17
何か数値を代入して得られたものが「代入しなかった」値に対しても
成り立つかどうかは、逆証するか逆証に代わる議論を行わない限り
不明じゃないか。