Donaldson theorem