Proof for Thomas