theorem :: SURREALC:50

for x being Surreal holds |.|.x.|.| = |.x.| by Th31, Def6;