About the classification of the holonomy algebras of lorentzian manifolds

The classification of the holonomy algebras of Lorentzian manifolds can be reduced to the classification of the irreducible subalgebras h ? so(n) that are spanned by the images of linear maps from ? ⁿ to h satisfying some identity similar to the Bianchi identity. Leistner found all these subalgebras and it turned out that the obtained list coincides with the list of irreducible holonomy algebras of Riemannian manifolds. The natural problem is to give a simple direct proof of this fact. We give such a proof for the case of semisimple not simple Lie algebras h.