2025 TUT 1025 Tran Proofs