論理的に正しいことをチェックできている数学者がほとんど居ないし
論理的にフォロー出来たからと言って何が一番重要か理解できた訳じゃない