勝手なコンパクトで単純なゲージ群Gに対してR4乗での量子ヤン−ミルズ理論が存在し質量ギャップが存在することを示せるか?