On the single special fiber `k⟦t, x⟧ ⧸ (tᵃ)` with `a > 0`, a function of finite contact with the axis `t = 0` is a nonzerodivisor.

Initializing...

On the single special fiber `k⟦t, x⟧ ⧸ (tᵃ)` with `a > 0`, a function of finite contact with the axis `t = 0` is a nonzerodivisor. · Prove2Me