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