proof for thm about G(n) added