Finiteness of arithmetic hyperbolic reflection groups

We prove that there are only finitely many conjugacy classes of arithmetic maximal hyperbolic reflection groups.