Debido a que esto es cierto para cualquier arbitrario formula_46, entonces formula_47, y entonces formula_33.