From the double-exchange Hamiltonian to the $t-J$ model: Classical spins

From the double-exchange Hamiltonian with classical localized spins in the limit of large but finit Hund exchange coupling we obtain the $t-J$ model (with classical localized spins).