( |.r.| = - r or |.r.| = r ) by COMPLEX1:157;
hence |.r.| is rational ; :: thesis: verum