Higher level Zhu algebras are subquotients of universal enveloping algebras

We prove that higher level Zhu algebras of a vertex operator algebra are isomorphic to subquotients of its universal enveloping algebra.