for A being non empty set holds CPFuncZero A <> CPFuncUnit A