STLC: new SN proof is completed