k = \max \{i:\ \alpha_i \not= 0\}