수도
마지막 명제에서의 formula_4은 조건수렴일 수도, 아닐 수도 있다.