(F-4) para todo formula_6 existe formula_5 tal que formula_32,