Multicategories and varieties of many-sorted algebras

We give a direct proof of the fact that every variety of many-sorted universal algebras is rationally equivalent to a variety of algebras over some FSet-multicategory (a many-sorted analog of FSet-operads). The construction of this multicategory is straightforward and uses the free algebras of the given variety.