for A being non degenerated commutative Ring
for q being proper Ideal of A st sqrt q is maximal holds
q is primary