“…However, for us, a = ±τ (p) and b = τ (p) 2 − 4p 11 . Thus, we get a certain number of equations for p 11 which we check that they have no convenient solution. For example, (a, b) = (1, −7) gives τ (p) = ±1, −7 = τ (p) 2 − 4p 11 = 1 − 4p 11 , so 4p 11 = 8, a contradiction.…”