Lie Algebra of a Matrix Lie Group Is Closed Under the Commutator