예를 들어 A라는 추측을 증명이 안됨
근데 B라는 추측을 하기위해 A를 써보니 증명이된거임

그럼 B 증명은 인정되노?