Comment by hiddencost

Surprisingly, this isn't necessarily true.

To take an intuition: there are lots of problems that are easier to pose and to check than they are to solve, in mathematics.