theorem RI: :: COMPLEX3:6

for a being Complex holds |.(Re a).| + |.(Im a).| >= |.a.|