The Fall of the Theorem Economy