Four-Dimensional Pure Yang–Mills Theory: Wightman Construction and Mass Gap for Compact Connected Gauge Groups with Simple Lie Algebra