On Irreducible, Infinite, Non-Affine Coxeter Groups