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{m}\mathrm{o}\mathrm{d}2$ Abelian cover can.