Knuth didn't mention the restriction k≥1 there, but it is required by his theorems he referred to, viz. on pp. 629 and pp. 630.
Knuth zde nezmiňuje omezení k≥1, které je ale vyžadováno větami, na které se odkazuje, viz strana 629 a 630.