を使って構築でき、"x" 上の因子 "g" はformula_3とは互いに素な有理点からのみ得られる。