Campbell's theorem, named after John Edward Campbell, also known as Campbell’s embedding theorem and the Campbell-Magaard theorem, is a mathematical theorem guaranteeing that any n-dimensional Riemannian manifold can be locally embedded in an (n + 1)-dimensional Ricci-flat Riemannian manifold.