talk:>>72 Rが体ならば、R上有限生成であるR加群は自由R加群になる。