a=b≠0といわれたら
aとbは同値で0でないということ？
それとも
aとbは同値ではないかもしれないが0ではないということ？