0になったら矛盾が生じることを示す