文字を使った証明(問題演習) https://ganbaru-man.com/exercise-proof-using-character/?amp=1