Oración 1: esta ecuación implica que β1 ó β2 es unidad en (Cf )M ; si asumimos que β1 es unidad, y dado que β2(x− a) −(a,b) β1(y − b) = 0 en (Cf )M, tenemos que existen β′ (x, y), β′1 2(x, y), m(x, y) ∈ k̄[x, y] tales(a,b) que β′2(x, y)(x − a) − β′1(x, y)(y − b) = m(x, y)f(x, y), donde la imagen de β′1(x, y) es una unidad
Oración 2: β′1(x, y) debe tener un término constante no trivial
Conector: por lo tanto
Relación: reasoning
Género: theses