Solving ax^2 + bx + c = 0 for x leads to the quadratic formula. In the formula itself, where does 4 and 2 come from?