  We establish some geometric constraints on compact Coxeter polytopes in
hyperbolic spaces and show that these constraints can be a very useful tool for
the classification problem of reflective anisotropic Lorentzian lattices and
cocompact arithmetic hyperbolic reflection groups.
