0. R = (0. R) ^2 ;
hence 0. R is square ; :: thesis: verum