theorem Th22: :: SURREALI:22

for x being Surreal st x is positive holds
born ||.x.|| c= born x