コクセター群
Historically, proved that every reflection group is a Coxeter group (i.e., has a presentation where all relations are of the form formula_49 or formula_45), and indeed this paper introduced the notion of a Coxeter group, while proved that every finite Coxeter group had a representation as a reflection group, and classified finite Coxeter groups.