ON LEVI’S THEOREM FOR LEIBNIZ ALGEBRAS