 This step is regarded as the most difficult of the proof.Finally, he shows that the general problem can be reduced to this special case.Gleason credits one lemma used in this last stage of the proof to his doctoral student Richard Palais.