Cartan formula