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