 Much of the usefulness of nonstandard analysis stems from the fact that statements of classical analysis involving limits or the \((\varepsilon , \delta)\) criterion admit succinct, intuitive translations into statements involving infinitesimals or infinite numbers, in turn enabling comparatively straightforward proofs to be given of classical theorems. Here are some examples of such  translations:[43]