(19) 중간 정리