Корневое подпространство по определению - это ядро операторного многочлена

.
Множитель

не влияет на множество

, поэтому его можно отбросить. А число

определялось как наименьшее число такое, что

. Но почему можно отбросить степень

? Это ведь не гарантирует того, что ядро окажется максимальной размерности.