> We can know this to be true, because if it did then checking the results would require it as well This argument is blatantly false. (I mean the argument not

> We can know this to be true, because if it did then checking the results would require it as well This argument is blatantly false. (I mean the argument not the claim it's arguing for) As just one counterexample, writing a mathematical proof often requires a lot of creative problem solving (it's not done a lot in school for this very reason). However, checking that a proof is correct is a rote task, even automatable (see proof asistants).