The theorem was proved by Simon Donaldson.
この定理は、サイモン・ドナルドソン(Simon Donaldson)により証明された。