Es decir, el teorema establece que existe una función "formula_3"que sustituida en la ecuación anterior, la convierte en una identidad matemática.