Let A be an infinite set. Show that there exists a proper subset B of A such that |A| = |B|. Does your proof use the Axiom of Choice?
A set is infinite iff it is equivalent to a proper subset of itself