日]この記事はいま思うとあまりよく分かっていなかったときに書いたものなので参考にしない方がいいです。近々、本当に役に立つ初心者向けの記事を書く予定なので作成しだいここにリンクを張る予定です。記事にして解説したものです。扱いに少し慣れてきているためプログラムを修正しています。本記事中のプログラムのライセンスは三条項BSDライセンスとします。回文の何について証明したいのか本記事では次の二つを証明します。2番目の定理は1番目に加えて1番目の逆も示したものとなっています。この性質の1番目はある日買い物をして家に帰っている途中に気づきました。使って証明を試みている途中に逆も成立することに気づきました。等しいときに回文であると見做します。ルールではマッチしないという厄介な問題があるのでそうしています。