Redirecting to Cantor–Bernstein–Schroeder theorem