Lie derivative
特に、計量 g の X に関するリー微分が 0 となる、つまり、