Z^nの任意のZ部分加群はZ自由加群である
の証明ってどうやるんでしょうか?