Puede demostrarse que este producto está bien definido al ser independiente de la elección de representantes.