(Im a) - 1 <= |.a.| - 1 by COMPLEX1:55, XREAL_1:9;
hence (Im a) - 1 is negative ; :: thesis: verum