加法定理と複素数平面の掛け算の結果の関係のような、高校数学程度の証明問題のトートロジーの例を教えてください。