形式ばった文書は書くのは半ばあきらめムードだが、こんなことで自分の証明が読まれないのは悔しい。
だから誰でもいいから正しいと言ってくれ。形式に沿わなくても読める人は読めるはずだ。でもできれば数学者で頼む。
ってスタンスに変更したのかな。