I'm reading the following proposition and proof:
Proof:
I'm having two questions:
Is the first part marked in red supposed to show that such $a_0,...,a_d$ exist and indeed could be computed with Cramer's rule?
How is that first part marked in red related to the second part marked in red? What's the line of reasoning here?


