2.7.3 The discriminant