>>371
それではこんな感じ？

A+B>0⇔A>-B　①
∴A<=0かつB<=0を仮定すると
0=>A>-B>=0
∴A+B>0でA<=0かつB<=0となるようなA,bは存在しない。