Observemos que formula_9 mismo es un conjunto inductivo.