An application of gauge theory to four-dimensional topology

Soit X une u-variete compacte reguliere simplement connexe orientee avec la propriete que la forme associee Q est definie positive. Alors cette forme est equivalente, sur les entiers, a la forme diagonale standard, soit dans une base: Q(u 1 ,u 2 ,...u 2 )=u 2 1 +u 2 2 +...+u 2 2