"The law which asserts that the equation X = 0, complete or incomplete, can have no more real positive roots than it has changes of sign, and no more real negative roots than it has permanences of sign, was apparently known to Cardan; but a satisfactory statement is possibly due to Harriot (died 1621) and certainly to Descartes."