数学 (みたいなこと) を生業としていると，証明というものにずっと付き合うことになる． これはよく知られていないことかもしれないけど，証明は書き手と読み手のコミュニケーションであって，どちらかが一方的な感覚を持つと証明は全く理解できないものにな…