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