Por todo lo anterior, tenemos que se cumple el siguiente hecho