This was proven by Steve Smale.
これは Steve Smale によって証明された。