Category:Commutative unital ring property implications