1 - |.a.| < |.a.| - |.a.| by XREAL_1:9, Def1;
hence 1 - |.a.| is negative ; :: thesis: verum