Ontify
The theorem that the space of SU(2) anti self dual Yang–Mills fields on a 4-sphere with index k > 0 has dimension 8k – 3.