有限生成自由加群の部分加群が有限生成自由加群
になるのはどうやって示すの