두 대상이 같다는 증거가 여러 가지일 수 있을까?

그림에서 무엇을 볼까요?

A와 C 사이 직접 경로와 A에서 B를 거쳐 C로 가는 합성 경로가 나란히 표시되고 두 경로의 같음은 별도 질문으로 분리된다.

A에서 C로 직접 가는 경로 p와 A→B→C를 합성한 경로 q가 있다고 하자. 둘 다 같은 도착점에 이르지만 p=q라는 더 높은 단계의 증거는 따로 필요합니다.

그림은 대상 세 개와 두 경로를 분리합니다. ‘도착점이 같다’에서 곧바로 ‘이유가 같다’로 넘어가지 않는 것이 핵심입니다.