State/Bounding wells of a given discriminant

 =Proof=