Gentzen's Theorem on the Proof-Theoretic Ordinal of Peano Arithmetic