|.a.| < 1 by TA1;
hence a - 1 is negative ; :: thesis: verum