Oración 1: sea M(a,b) := {g ∈ Cf | g(a, b) = 0} §3.1 11 Afirmamos que M(a,b) es el ideal generado por las imágenes de x− a y y − b en Cf
Oración 2: note inicialmente que k̄[x, y]/(x − a, y − b) =∼ k̄ lo cual implica la maximalidad en k̄[x, y], que a su vez implica la maximalidad de (x− a, y − b) en Cf
Conector: en efecto,
Relación: entailment
Género: theses