theorem Th74: :: SURREALR:74

for x, y being Surreal holds
( ( ( x < 0_No & 0_No < y ) or ( 0_No < x & y < 0_No ) ) iff x * y < 0_No )