a[1], a[2], ..., a[r]を0でない整数とし、
これらのうちのどの2つai, aj (i≠j)も互いに素であるとする。そのとき、
　　　　　1/ (a[1]・a[2]・...・a[r]) = h[1]/a[1] + h[2]/a[2] + ... + h[r]/a[r]
を成り立たせる整数h[1], h[2], ..., h[r]が存在することを証明せよ。

証明: A=a[1]・a[2]・...a[r]とおき、また
　　　　　A=a[i]A[i]　　　　　(i=1, 2, ..., r)
とおく。
※本には書いていませんが、これによりA[i]=A/a[i]です。
もし、A[1], A[2], ..., A[r]が共通の素因数pをもつならば、
pは当然Aの素因数であるから、a[1], a[2], ..., a[r]のいずれかがpで割り切れる。
たとえば、a[1]がpで割り切れるとすれば、
仮定によってa[2], ..., a[r]はどれもpで割り切れない。したがって
　　　　　A[1] = a[2]・...・a[r]
はpを素因数にもたない。これは矛盾であるから、
A[1], A[2], ..., A[r]は共通な素因数をもたない。言い換えれば
　　　　　(A[1], A[2], ..., A[r])=1
である。故に定理4によって
　　　　　1=h[1]・A[1] + h[2]・A[2] + ... + h[r]・A[r]
を満たす整数h[1], h[2], ..., h[r]が存在する。
この両辺をAで割れば問題の等式が得られる。

…という例題ですが、実際に数字を当てはめてみても、計算が合いません。
続く