Let $P\in \mathbb Q[t]$ be a polynomial with $r$ different real roots and $2s$ different complex but not real roots. How can we prove that $\mathbb Q[t]/P\otimes\_{\mathbb Q}\mathbb R = \bigoplus\limits\_{r}\mathbb R\oplus\bigoplus\limits\_{s}\mathbb C$?