A principal quotient of `k[[T,X]]/(T^a X^b)` (with `a, b > 0`) by `f` has length `a c + b h`, where `c` and `h` are the contacts of `f` with `T` and with `X`.

Initializing...

A principal quotient of `k[[T,X]]/(T^a X^b)` (with `a, b > 0`) by `f` has length `a c + b h`, where `c` and `h` are the contacts of `f` with `T` and with `X`. · Prove2Me