This means that φ must hold in every model of B, which means precisely that φ holds in every field of characteristic greater than k.
Це означає, що φ має виконуватися в кожній моделі B, а це значить, що φ має місце в кожному полі характеристики більше k.