Suppose that r1 and r2 are roots of the quadratic equation ar² + br + c = 0 and that r1 ≠ r2; then exp(r1t) and exp(r2t) are solutions of the differential equation.