사용자토론:Utolee90/수학노트/정수 군의 무한 직접곱이 자유군이 아니라는 증명