The exceptional equation `t` is a non-zero-divisor in the completion of the `t`-chart at any closed point over the closed point.

Initializing...

The exceptional equation `t` is a non-zero-divisor in the completion of the `t`-chart at any closed point over the closed point. · Prove2Me