 Solution

The Strong normalization theorem for simply typed lambda calculus says that every well-typed term has no infinite beta-reduction sequence. In the untyped calculus,reduces to itself and is therefore not strongly normalizing.