que se cumple para todo "x" y formula_64 se obtiene la siguiente relación: