한 가지 방법으로 하나의 문장이 참이라는 것을 보여주었더라면, 다른 방법을 통해 동일한 문장이 거짓이라는 것을 보여줄 수 없어야 한다.
Having shown that a statement is true by one method, it should not be possible to show that the same statement is false via another method.