theorem Th48: :: COMPLEX1:48

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