Finished proof of T1 and C2.