theorem Th0: :: COMPLEX3:3

for a being Real holds
( a is weightless iff a = sgn a )