Donde se ha usado que la codiferencial puede reescribirse en términos de la diferencial exterior y el operador dual de Hodge: