for CNS being ComplexNormSpace holds ||.(0. CNS).|| = 0 ;