However, although Killing had shown that only certain exceptional simple algebras were possible, he hadn't proved that in fact these algebras exist.
Gayunman, bagama't pagpatay ay ipinapakita lamang na tiyak na bukod-tangi simpleng algebras ay posible, siya ay hindi na ang mga ito sa katunayan algebras umiiral.