[robertlagrant]

They weren't saying the problem was trivial. They were saying that if you massively reduce the problem to its most trivial form, then its trivial form is doable.

[chmod775]

> They weren't saying the problem was trivial.

Neither was I? The proof is trivial - actually doing it is very much not.

[robertlagrant]

How would you prove it in the non-trivial case?

[chmod775]

What? Are you trolling?

[robertlagrant]

I've no idea what you're talking about. If you ask a non-content free question I can help.