프로그램 정리 6