theorem :: LPSPACE1:8

for A being non empty set holds RealPFuncZero A <> RealPFuncUnit A