expresión que desarrollada y simplificada nos da el resultado formula_30, y el teorema queda demostrado.