Template:Proposition
Template:Proof
TODO: Distinguish between completely prime ideals and prime ideals in noncommutative rings
Template:BookCat