let T be _Theta; :: thesis: |.T.| <= 1
( - 1 <= T & T <= 1 ) by Def1;
hence |.T.| <= 1 by ABSVALUE:5; :: thesis: verum