R değişmeli bir halka olsun. Eğer φ:Rn⟶Rm birebir bir R homomorfizması ise n≤m olmalı.
Not 1: φ izomorfizma ise n=m ispatı Nakayama yardımcı teoremi ile çok basit. (Nasıl?)
Not 2: φ örten ise n≥m ispatı Yılan yardımcı teoremi ile basit sayılır. (Nasıl?)