theorem
  euc2cpx(p)=0c implies p=0.TOP-REAL 2 by Th2,Th16;
