I seems to me that English version of statement has some incorrectness in it. Look at the sentence "Each summand should have no two multipliers of the form X^N with the same X and N.". According to it you may think that summand in form x*x^2 is possible (really, there are no multipliers with same X and N - N's are different).

Still unfixed...