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