Most useful proof-of-work yet...

However, it is somewhat hard to mathematically define all criteria used to recognize *useful* theorem.

There may be many propositions that are true, but cause no excitement among mathematicians.