すみません>>483訂正です・・

x_1＜y_1かつ　x_2＜y_2のとき
x_1＋x_2＜y_1＋y_2⇔　<x_1 y_2>＜<y_1 x_2>となって
a＝b or a＜b or b＜aのうちどれでもない場合がでてきてしまいました
解き方教えてください・・このやり方はまずいですか？