>>201
解の存在に対する条件だから、全部等号を入れておいてもよい。