set m = the maximal Ideal of A;
the maximal Ideal of A is primary ;
hence ex b₁ being proper Ideal of A st b₁ is primary ; :: thesis: verum