Más aún cualquier función polinómica de estos invariantes es un nuevo invariante algebraico funcionalmente independiente de los anteriores.