Lema 1.6.4. Condición suficiente de consistencia