“Proof of the Hodge decomposition theorem”