Hola, si: un conjunto consistente maximal tiene que ser completo. La
demostración que das está bien. El primero y el último paso no son
triviales y estaría bien aclarar de donde salen.
Saludos,
--
Juan Diego Campo
Instituto de Computación
Facultad de Ingeniería - UdelaR