theorem
  for x being Complex holds Polynom(0,0,x) = 0;
