↓の2つの文を「よって」でつないでいますが、ギャップがありすぎませんか?


いま法 a*b に関して考察すれば、 x を a の倍数だけ増減しても、または y を b の倍数だけ増減しても、
a*y + b*x は a*b の倍数だけ増減するのであるから、 a*b を法としての一類に属する。

よって、

a*y + b*x なる式において、 x には a を法としての各類代表の一組である a 個の値を与え、また y には
b を法としての代表の一組である b 個の値を与えるときに、この式 a*y + b*x から出る a*b 個の値は
すなわち a*b を法としての各類の代表の一組でなくてはならない.。