theorem Th43: :: COMPLEX1:43

for a being Real st a >= 0 holds
|.a.| = a