ab>0
⇔(a>0,b>0)または(a<0,b<0)