The converse also holds in most naturally occurring categories of algebras because of the existence of a free object on one generator.
Обратно такође важи у већини категорија алгебри које се природно јављају, због постојања слободног објекта на једном генератору.