>>471
=でないとすると最小性に矛盾するから。