53.2 보편적 근사 정리의 공식적 진술과 수학적 전제 조건