“Mathematicians have, according to Wright, been "unreasonably successful" in finding applications to apparently useless theorems, and often years after the theorems were first discovered.”