For `m < 0`, `P(T) = T^m · Q(T⁻¹)` in `k[T, T⁻¹]` forces `P = Q = 0`. · Prove2Me

P

Initializing...

For `m < 0`, `P(T) = T^m · Q(T⁻¹)` in `k[T, T⁻¹]` forces `P = Q = 0`. · Prove2Me