数学をするというのは数学を書くということである(byGrothendieck)