theorem Th3: :: SURREALS:3

for x being Surreal holds born (NonNegativePart x) c= born x