[mehaveaccount]

>Simple to say is not simple to deduce.

Case in point: Fermat's Last Theorem, or Collatz Conjecture

[Chinjut]

Well, no, the point isn't that simple propositions may have complex proofs, the point is that a proof may itself be simple, though hard to discover in the first place.