Inverse_Element_of_Bijection