  We study ground state properties of the Kondo lattice model with an
electron-phonon interaction. The ground state is proved to be unique; in
addition, the total spin of the ground state is determined according to the
lattice structure. To prove the assertions, an extension of the method of spin
reflection positivity is given in terms of order preserving operator
inequalities.
