舛田 紀子ディオファントス算術ジョージトレヴァー