 The finiteness of covolume is harder to prove.An "arithmetic Kleinian group" is any subgroup of formula_40 which is commensurable to a group derived from a quaternion algebra.It follows immediately from this definition that arithmetic Kleinian groups are discrete and of finite covolume (this means that they are lattices in formula_40).