1 - |.a.| > |.a.| - |.a.| by Def2, XREAL_1:9;
hence 1 - |.a.| is positive ; :: thesis: verum