Shing-Tung Yau
A generalization of this theorem was proved by Shing-Tung Yau in 1973.