Re:>>172 a>b⇔b<a, b<a⇔b+c<a+c 特にcに-aを代入すると b<a⇔b-a<0.