On Irreducible, Infinite, Non-affine Coxeter Groups