Supóngase que la dimensión de "B" sobre el cuerpo "K" es finito, es decir, "B" es un álgebra central simple (K es un cuerpo puesto que cualquier formula_1, por centralidad, genera un ideal bilátero formula_2, así que la simplicidad de B implica que formula_3 y por tanto formula_4 es invertible).