2017-09-05 20170905 有理数 q に対して, ある四整数 a, b, c, d が存在し, b>0 かつ d=-b かつ gcd(a,b)=gcd(c,d)=1 かつ q=a/b=c/d. その四整数の組は有理数に対して一通りしかない.