  After the proof of cut elimination, Gentzen had no use for the proof  of normalization for intuitionistic natural deduction. He gave the  first handwritten version of his thesis, with the detailed proof of  normalization (equivalent to some 13 printed pages) to Bernays, but  the latter seems never to have realized what he had in his hands. The proof, among the papers of Bernays in Zurich, was discovered by the  present author in February 2005 and is now available in an English  translation (Gentzen 1933 [2008]). 