theorem Th11:
  ex m be prime Ideal of A st J c= m
  proof
    ex m be maximal Ideal of A st J c= m by Th10;
    hence thesis;
  end;
