theorem :: SURREALC:28

for x being Surreal holds (No_omega^ x) " == No_omega^ (- x)