theorem Th72: :: SURREALR:72

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