let A be non degenerated commutative Ring; :: thesis: for J being proper Ideal of A ex m being prime Ideal of A st J c= m
let J be proper Ideal of A; :: thesis: ex m being prime Ideal of A st J c= m
ex m being maximal Ideal of A st J c= m by Th10;
hence ex m being prime Ideal of A st J c= m ; :: thesis: verum