  We give a new proof of the finiteness of maximal arithmetic reflection
groups. Our proof is novel in that it makes no use of trace formulas or other
tools from the theory of automorphic forms and instead relies on the arithmetic
Margulis lemma of Fraczyk, Hurtado and Raimbault.
