Factor the polynomial X4+1X^4 + 1X4+1 in C[X]\mathbb{C}[X]C[X], then in R[X]\mathbb{R}[X]R[X], and justify that the real factors obtained are irreducible. What does this example show about the link between having no real root and irreducibility?