De acuerdo a este teorema, cada álgebra es isomorfa a una de las siguientes: