Yang-Mills Existence and Mass Gap

Prove that quantum Yang-Mills theory exists as a rigorous mathematical theory and has a mass gap: a positive lower bound on the energy of anything above the vacuum. The theory is part of the Standard Model of particle physics.