Use indução.Note que se $t\in dom (\dot{G})$ , então $t=\check{s},s\in A$.Logo considere os casos em que $a=s$ e $a\not= s$