theorem Th71: :: COMPLEX1:71

for a being Real holds
( |.a.| = a or |.a.| = - a )