G -> $ in thm 4