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