짧다는 길다로서 증명된다.
길다는 짧다로서 증명된다.

이렇게 서로 증명하게 되는걸 뭐라 불렀던것 같은데
기억이 잘 안나네요;

그리고 이 논리는 오류라고 들었던거 같은데

아시는분 계신지..