theorem :: COMPLEX1:44

|.0.| = 0 ;