New SN proof for STLC