  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.
