Sea formula_100 un ideal que contiene al ideal formula_200 Como todos los ideales de formula_22 son principales, hay un número entero positivo formula_94 tal que formula_203 Como formula_204 implica que formula_198 es un múltiplo de formula_206 se tiene que formula_198 es divisible por formula_93 Lo que implica que formula_209 o formula_210 es decir que formula_211 o formula_212 lo que prueba que formula_213 es un ideal maximal.