D가 주아이디얼 정역(principal ideal domain)일 때, D의 비자명 아이디얼(non-trivial ideal)은 극대아이디얼(maximal ideal)에 포함됨을 보여라.


이거 이유가 뭐지??