그러면 기초적인 수학적 증명을 여러개 만든 다음,


그걸 엮어서 복잡한 증명을 만들고,


이걸 반복하면 언젠가 난제까지 해결하지 않을까