Como hay factorizacion unica de ideales, \alpha\geq \beta para todo primo \cal P quiere decir que divide a de donde contiene a “a” o lo que es lo mismo {a\over b}\in R como queriamos.