Naturality of characteristic forms, characteristic forms are closed, characteristic classes, Chern classes, homotopy formula for differential forms, homotopy invariance of maps on cohomology, independence of characteristic class of the choice of connection, transgression form
