|.1r.| = 1 by Th6, SQUARE_1:18;