T BY CONCEPT - Proofs