20170905

有理数 q に対して, ある四整数 a, b, c, d が存在し, b>0 かつ d=-b かつ gcd(a,b)=gcd(c,d)=1 かつ q=a/b=c/d.

その四整数の組は有理数に対して一通りしかない.