Oletetaan, että $\text{[math]}$ ja $\text{[math]}$ ovat renkaita, $\text{[math]}$ rengashomomorﬁsmi ja $\text{[math]}$ renkaan $\text{[math]}$ ihanne. Tällöin $\text{[math]}$ on renkaan $\text{[math]}$ alirengas ja $\text{[math]}$ renkaan $\text{[math]}$ ihanne. Onko kuitenkin mahdollista, että $\text{[math]}$ ei olisikaan renkaan $\text{[math]}$ ihanne?