Faithful representations of Leibniz algebras

Abstract

Let L be a Leibniz algebra of dimension n. I prove the existence of a faithful L-module of dimension less than or equal to n+1.