Let V be a congruence permutable variety generated by a finite
nilpotent algebra A. If A is a product of algebras of
prime power order, then the class Vsi​ of subdirectly
irreducible members of V can be axiomatised by a finite set of
elementary sentences