Hodge theorem