La versión en formula_1 del teorema es la siguiente: