Donaldson's Theorem