rankが2以上の有限生成自由群には有限生成でない部分群がある。シコシコシコシコ…ハァハァ