［９］素数１９による整除性のためには，１の位の数を除去し，残った数から除去した数の１７倍を引く．１７１＝１９・９

　　１００ａ＋１０ｂ＋ｃ＝０　　（ｍｏｄ１９）

は

　　１０ａ＋ｂ−１７ｃ＝０　　（ｍｏｄ１９）

に還元されるということである．１０倍して引いてみると

　　１７１ｃ＝０　　（ｍｏｄ１９）

　　１９・９ｃ＝０　　（ｍｏｄ１９）

　（その２５）で１９に対する整除性法則を調べてみたところ，

　　１００ａ＋１０ｂ＋ｃ＝０　　（ｍｏｄ１９）

は

　　１０ａ＋ｂ＋２ｃ＝０　　（ｍｏｄ１９）

に還元された．１０倍して引いてみると

　　１９ｃ＝０　　（ｍｏｄ１９）

となる．

　どちらも，１９の倍数を元の数から引くことを意味していて，残った数が１９で割り切れれば，元の数も１９で割り切れることになるというわけである．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝