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