states: that any polynomial of degree with complex number coefficients has, counting repeated roots an appropriate number of times, exactly complex roots. [M1.4, M3.1]
Copyright 1997, The Open University