An ideal `J` of the completion `Â` containing `(m Â)^L` is extended from its contraction to `A`.

Initializing...

An ideal `J` of the completion `Â` containing `(m Â)^L` is extended from its contraction to `A`. · Prove2Me