a > b ならば　-b　>　-a であることを示せという問題に

a > b であるというには検定が必要っていうヤツって馬鹿じゃないの？