theorem Th48: :: COMPLEX1:48

|.1r.| = 1 by Th6;