Un carácter sobre formula_3 tiene una serie de propiedades importantes para nuestra demostración: