>>86

a≦0かつb≦0ならばa+b≦0

です