Bijection iff Left and Right Inverse/Proof of Corollary