리만 적분
필요 조건: formula_23가 리만 적분 가능 함수라고 하자. 그렇다면, 임의의 formula_45에 대하여, 리만 적분의 정의에서의 formula_107가 존재한다. 또한, 다음을 만족시키는 분할 formula_7와 두 태그 formula_109를 취할 수 있다.