Boundedness of log terminal Fano pairs of bounded index

We prove a conjecture of Batryev which states that the family of all Fano varieties with kawamata log terminal singularities and fixed index, forms a bounded family.