Proof of the TCP theorem