 reserve R for commutative Ring;
 reserve A,B for non degenerated commutative Ring;
 reserve h for Function of A,B;
 reserve I0,I,I1,I2 for Ideal of A;
 reserve J,J1,J2 for proper Ideal of A;
 reserve p for prime Ideal of A;
 reserve S,S1 for non empty Subset of A;
 reserve E,E1,E2 for Subset of A;
 reserve a,b,f for Element of A;
 reserve n for Nat;
 reserve x,o,o1 for object;
 reserve m for maximal Ideal of A;
 reserve p for prime Ideal of A;
 reserve k for non zero Nat;

theorem Th34:
  PrimeIdeals(A,S) = PrimeIdeals(A,S-Ideal)
  proof
    PrimeIdeals(A,S) = Ideals(A,S) /\ Spectrum A by Th33
     .= Ideals(A,S-Ideal) /\ Spectrum A by Th2
     .= PrimeIdeals(A,S-Ideal) by Th33;
    hence thesis;
  end;
