Description: Presents the classical proof, together with a shorter one due to Richard Palais of Brandeis University.