Uniqueness of CPn

We give an exposition of a theorem of Hirzebruch, Kodaira and Yau which proves the uniqueness of the Kähler structure of complex projective space, and of Yau's resolution of the Severi Conjecture.