reconsider M = {(0. R)} as Ideal of R ;
M is proper by SUBSET_1:def 6;
hence ex b₁ being Ideal of R st b₁ is proper ; :: thesis: verum