> is always easier then coming up with the implementation of it. along that line of reasoning, making claims is easier than proving them, always. It's not alw

> is always easier then coming up with the implementation of it. along that line of reasoning, making claims is easier than proving them, always. It's not always the case though, any given prime factorization is easy to prove but hard to propose.