theorem :: COMPLEX1:44
|.0.| = 0 ;