If `m̂^L ⊆ J` in the completed local ring at a maximal ideal `P`, then `P^L` is contained in the contraction of `J`.

Initializing...

If `m̂^L ⊆ J` in the completed local ring at a maximal ideal `P`, then `P^L` is contained in the contraction of `J`. · Prove2Me