정리의 모티베이션 없이 그냥 특정 정리를 가정하는 방법으로 정리가 참이란걸 보임.. 예를 들어 일차합동식의 해가 존재할 조건을 증명할 때 그 조건을 미리 알아야만 가능한 증명을 한다거나 그럼