I'm reading Kobayashi's book transformations group in differential geometry and at the page 154 is this integral formula:
My question is how I can write a proof that is invariant i.e. index free? and how is the $(2)$ a corollary? I may need to know some additional properties about trace. Can some one fill in those details? It will help me a lot.