for A being non degenerated commutative Ring
for p being Ideal of A st p is prime holds
p is primary