Embedding arithmetic hyperbolic manifolds

We prove that any arithmetic hyperbolic $n$-manifold of simplest type can either be geodesically embedded into an arithmetic hyperbolic $(n+1)$-manifold or its universal $mathrm{mod}~2$ Abelian cover can.