ベーカー・キャンベル・ハウスドルフの補助定理