Witten's conjecture and Property P.
We prove that Witten’s Conjecture [40] on the relationship between the Donaldson and Seiberg-Witten series for a four-manifold of Seiberg-Witten simple type with and odd follows from our -monopole cobordism formula [6] when the four-manifold has or is abundant.