증명 단계를 거의 다 맞혀도 전체 정리는 못 풀 수 있을까?

그림에서 무엇을 볼까요?

열 개의 증명 단계 중 아홉 단계가 초록색으로 성공해도 한 중간 단계의 실패가 최종 정리 실패로 이어지는 사슬 도식.

LTCT 예시입니다. 1~10번 보조정리 가운데 1~6번과 8~10번을 모두 증명해도 7번이 8번의 전제라면 최종 정리는 닫히지 않습니다.

각 단계 정답률 평균과 전체 증명 성공률을 함께 보고해야 합니다. 실패 지점 뒤의 단계가 개별적으로 맞다는 사실은 전체 의존 사슬을 복구하지 않습니다.