rename \G[0] to \G and \overline\G to \overline \G*
outline idea for proof