for A being non degenerated commutative Ring
for M being maximal Ideal of A
for n being non zero Nat holds M ||^ n in PRIMARY (A,M)