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