Description: The set of natural numbers is equinumerous to its successor. (Contributed by NM, 30-Oct-2003)