Llamemos formula_9 a la proposición, donde formula_1 es el rango.