In particular, taking the integral coefficients modulo m, for some m, leads to a finite factor group.
Sa partikular, ang integral pagkuha coefficients modulo m, para sa ilang m, leads sa isang wakas kadahilanan grupo.