theorem
  p is Element of COMPLEX n;
