대수적 정수환의 인수분해 정리에 대한 증명 스케치