Megjegyzés
A tétel kimondásakor azért korlátozódtunk kommutatív gyűrűkre, hogy ne kelljen a fordított sorrendű szorzásokra is megfogalmazni és bizonyítani ugyanezt a két tulajdonságot. Az Olvasóra bízzuk annak átgondolását, hogy hogyan lehet ezt a tételt és bizonyítását kiterjeszteni a nemkommutatív esetekre is.
♣