theorem :: SURREALR:75

for x, y, z being Surreal st 0_No <= x & y <= z holds
y * x <= z * x