Q_p と Q_q が同型なら p = q (志村・谷山、近代的整数論より)