>>854
?
2(|ab|-ab)≧0 の時点で証明終了じゃないのか?