Sea un campo algebraicamente cerrado; sea un escalar distinto de cero en tal que no es una raíz de la unidad; sea un entero no negativo; y sean , , los generadores equitativos de sobre . Sea un -módulo irreducible de dimensión finita con dimensión , y sea el conjunto de todos los mapas lineales de a sí mismo que actúan tridiagonalmente en el orden estándar de las bases de eigenvectores para cada uno de , , y . Mostramos que tiene una dimensión como máximo de siete. De hecho, mostramos que las acciones de 1, , , , , , y en dan una base para cuando .