> Now imagine this proof is wrong. How would you know? Ok, think about the process in which you determine the correctness - why not do that initially?
https://en.wikipedia.org/wiki/P_versus_NP_problem
https://en.wikipedia.org/wiki/P_versus_NP_problem