Prove T2.