فرض کنیم v یک واریته از گروهها باشد که با قانون w(x1,...,xn)1 تعریف شده باشد و n کوچکترین عدد طبیعی انتخاب شود. در این صورت رده v* از گروهها را چنین تعریف می کنیم: گروه g عضوی از v* است اگر و تنها اگر به ازاء هر n زیرمجموعه نامتناهی از g مانند xn,...,x1,x2 وجود داشته باشند xi در xi (i1,2,...,n) بطوریکه w(x1,...,xn). لذا، روشن است هر گروه متناهی در این شرط صدق می کند (انتفاء مقدم) سوالی را که اک...
