thus f . (s,P) is Element of C -States the generators of G ; :: thesis: verum