theorem Th33: :: SURREALI:33

for x being Surreal st not x == 0_No holds
x * (x ") == 1_No