https://peeterjoot.com/2015/11/04/a-curious-proof-of-the-baker-campbell-hausdorff-formula/