theorem
  Spectrum A = PrimeIdeals(A,{0.A}) by Th21;
