エドモンズ–ガライの分解定理