Demostración: Si formula_248, entonces existe al menos un formula_249 tal que formula_250, y de esta manera formula_251, y con ello formula_252, para almenos un formula_72.