Para cualesquiera formula_5 tales que formula_6 se cumple que existen formula_7 de manera que