謎のプロ数学者が本物の数学者であることの整合性は取れてもおかしくないが、仮に本物だったら身元バレてしまうな