Aquí formula_10 es la derivada exterior, que se define usando solamente la estructura de variedad.