설정 마저 정리