О замкнутых классах $k$-значной логики, самодвойственных относительно транзитивных групп

Доказано, что при $m\ge[k/2]+1$ структура замкнутых классов $k$-значной логики, самодвойственных относительно $m$-транзитивных подгрупп симметрических групп, конечна и состоит из замкнутых классов, имеющих конечный базис.