2Strictly speaking this is only true on a spin manifold. Note that d4x(8π)1FμνF̃μν = π(F2π)2 = πc1(F)2. On a spin manifold, the intersection form is even, and the last expression is an integral multiple of 2π. For the subtlety on non-spin manifolds, see [24].