 In his thesis Gentzen introduced a form of the sequent calculus and his technique of cut elimination. As this is a tool of utmost importance in proof theory, an outline of the underlying ideas will be discussed next. The sequent calculus can be generalized to so-called infinitary logics and is central for ordinal analysis. The Hauptsatz is also called the cut elimination theorem.