As mentioned above, it suffices to check the statement "every non-constant polynomial p(z) with real coefficients has a complex root".
Όπως αναφέρθηκε παραπάνω, αρκεί να ελέγχει η πρόταση: «Κάθε μη σταθερό πολυώνυμο p ( z ) {\displaystyle p(z)} με πραγματικούς συντελεστές έχει μια μιγαδική ρίζα".