for A being non degenerated commutative Ring
for S being non empty Subset of A holds PrimeIdeals (A,S) c= Ideals (A,S)