Yang–Mills existence and mass gap

Construct four-dimensional quantum Yang–Mills theory for every compact simple gauge group and prove that it has a positive mass gap.