For every a0 in C, ..., an-1 in C, there exists an x in C such that
a0*x0 + ...+ an-1*xn-1 = 0.
No further extension required.