for A being non empty set holds ComplexFuncZero A <> ComplexFuncUnit A