Prove that L_gh is a group