Show that G is subgroup of finite index in Z^n if and only if G is free commutative group with rank n.