Comment by chobytes

Maybe Schroder-Bernstein could simplify. Easier to write 2 injections.