theorem Th43: :: TOPZARI1:33

for A being non degenerated commutative Ring
for E1, E2 being non empty Subset of A ex E3 being non empty Subset of A st (PrimeIdeals (A,E1)) \/ (PrimeIdeals (A,E2)) = PrimeIdeals (A,E3)