Corollary of Leibniz rule for Lie bracket
Levi-Civita connection exists and is unique