프로그램 정리 4