Normalization theorem for Gödel's System T.