有理数と仮定してp/qとおけ