이상 분해의 성질에 대한 정리