Tをどう使うと数学問題の証明に使えますか?