We shall prove that for real we have
Function f below is always positive and has complex or double real roots.
Then