|(<e2>,<e2>)| = ((0 ^2) + (1 ^2)) + (0 ^2) by Lm14
.= 1 ;
hence |.<e2>.| = 1 by SQUARE_1:18; :: thesis: verum