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