Proof is trivial! Try applying an isomorphism to a
differentiable
group
projected onto the
local
Cayley graphs
(Hint:
use the
autonomous convergence theorem
)
Gimme another!