Nechť C je definovatelná Kaplanského třída modulů. Položme A { B pokud A je podmodulem v B takovým, že A, B, a B/A jsou v C.
Pak (C,{) je abstraktní elementární třída konečného charakteru.