theorem :: SURREALI:44

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