Exterior_calculus_identities