Discriminant[x^3 - bx^2 + (ac-4d)x - (a^2d+c^2-4bd), x] == Discriminant[x^4 + ax^3 + bx^2 + cx + d, x]