Hola, efectivamente se cumple el si y solo si. En el libro son los lemas
2.5.4 y 2.5.11.
Pienso que no están juntos porque los dos lemas se usan para cosas
distintas y las pruebas son muy diferentes (el primero es bastante
fácil, el segundo requiere pasar por la maquinaria de los consistentes
maximales).
Saludos,
--
Juan Diego Campo
Instituto de Computación
Facultad de Ingeniería - UdelaR