20180227

p を素数とし, q を p でない素数とし, a を p の倍数でない整数とし, b を q の倍数でない整数とすると, aq+bp と pq の最大公約数は 1 である. a/p+b/q=(aq+bp)/(pq) で既約分数.