Proof of FTC 1