چرا هر عضو ناصفر $ H_{i} \big( x_{1} ,..., x_{n};I\big)$ را میتوان با ردهی همولوژی دور همگن چندگانهی $ z = \sum_J \lambda _{J} u_{J} e_{J}$ که در $ K_{i}(x_{1} ,..., x_{n};I) $ است، و $ deg(z) \leq c $ نمایش داد. در اینجا همه نمادها در بخش 1 فایل ضمیمه میباشند.
