theorem Th67: :: COMPLEX1:67

for z1, z2 being Complex holds |.z1.| / |.z2.| = |.(z1 / z2).|