|.a.| > 1 by TA1;
hence a - 1 is positive ; :: thesis: verum