Text: To do that, Nash, on a wager, disposed of a deep problem that had baffled the profession since the 19 th  He showed that any Riemannian manifold possessing a special kind of smoothness can be embedded in Euclidean space.
Entailment: Nash made a bet and got rid of a problem that had been a problem for a long time.
Contradiction: Nash's disposal was not a big deal because there really hadn't been a problem to start with.