「現代微分幾何入門 野水克己 著」p３３の補題Ⅰ,Ⅱをやっておこうと思った。 ※後で役に立つ事が分かったので。 を使うと、 (※1)Note39 Lie群Gの作用と左不変ベクトル場（１）の最後に書いた公式を参照。一方、 よって、 この補題は解答が出ているので少し違う…