두 함수 곱의 연속 유형정리