Una prueba autónoma relativamente corta del teorema de Baker-Campbell-Hausdorff