In a finite product of local `O`-algebras in which `π` is non-invertible, `π` lies in the Jacobson radical, and a componentwise regular element is regular.

Initializing...

In a finite product of local `O`-algebras in which `π` is non-invertible, `π` lies in the Jacobson radical, and a componentwise regular element is regular. · Prove2Me