A．O．ゲリファント「方程式の整数解」東京図書 数学新書5 (1960)
　銀林 浩 訳

〔例〕方程式
　xx - 3yy ≡ -1　　　(mod 3)
　xx - 3yy ≡ -1　　　(mod 4)
が一般には整数解をもたないことを示せ。 　(p.56-57)