Istnienie Yanga-Millsa i luka masowa