Group Theory: Proving Finite Rank of Torsion-free Abelian Groups Using Independence

If someone can check this, it would be appreciated. (Maybe it can submitted for a POTW afterwards.) Thank-you.

*PROBLEM*
Prove that if $H$ and…