thomas&kim proofs