a |^ 2 = a ^2
.= |.a.| ^2 by COMPLEX1:75 ;
hence a |^ 2 is square ; :: thesis: verum