まず, 結論を示すには, どんな式が成り
ェオ>, ッ十=,。 <十* のうち少なくとも1
< キッー0 または ッキタニ0
をう (十>)(ゞ<)(タキ*)三0 …
よって, *まを証明すればよい。
間間1
==和Ta 巡に
十 隊あリキタダ の両辺に xyz(キャキタ)
(エッオる<)(yz十<z十xy)三メリる
まって (x+(⑦+<))(⑦二<)*エys)一xyz三0 て
(@+る)*す(⑦+<)なを十yz(yキる)三0 2 に 、肖 、
(ッ+る<)(y二(ゆる なををん
⑯上上る(w士)(てエタ
5)%に。 。ッ<王0 または ァ+ッー0 貞だは
だがって。 を填必, ツ十る, 々十え のうち少なくと
る4 。
や
ツア
+ yz}0
=0