more generally,for any topologically finitely generated profinite group "g" there is an identity