On homogeneous extensions of finite predicate systems

It is shown that any finite n-element predicate system for which any two one-element subsystems are isomorphic is embeddable in a finite (2 n − 1)-element system having a transitive automorphism group.