Surjection_iff_Right_Inverse