Prove that aob⁻¹ belongs to h where (g,o) is a group and a non empty subset h of g forms a subgroup of (g,o)