PID 위의 유한생성 가군의 기본정리의 역링크