>>246
>1. いつの間にか M は有限生成だと仮定してるのね。

有限生成でなくても考え方は同じです。