for any constant c. What is used to generalize the connection of fields and groups to infinite field extensions