Oración 1: se puede definir una valuación para K a partir de M como se explicó arriba
Oración 2: para cada valuación sobreyectiva existe un elemento π ∈ K tal que ν(π) = 1
Conector: por otro lado,
Relación: contrasting
Género: theses