Existence of non-trivial solutions of the Yang-Mills equation. Yang-Mills equation is a partial differential equation of 1-form.