(a/b)>0のときab>0は常に成り立ちますか