俺バカだからよくわかんねーけどよ、任意のコンパクトな単純ゲージ群 G に対して、非自明な量子ヤン・ミルズ理論が R^4上に存在し、質量ギャップ Δ > 0 を持つことを証明できるんじゃねえか？