sentences:  The Schröder–Bernstein theorem states that if "M" « "N" and "N" « "M", then "M" ~ "N".A proof, one that is similar to a set-theoretic argument, can be sketched as follows.Colloquially, "N" « "M" means that "N" can be isometrically embedded in "M".