つまり有理数があるタイプの二次多項式の解であることと、rと全ての素数 "p" に対してqpで解を持つこととが同値になる。