ヘルツホルムの分解定理くらい証明するまでもない