I spend much time to study a theorem - Let G be a nonzero free abelian group of finite rank n, and let K be a nonzero subgroup of G. Then K is free abelian of rank s smaller or equal to n. Furthermore, there exists a basis (x1,x2,...,xn) for G and positive integers d1,d2,...,ds where di divides...