State/Bounding riverbends of a given discriminant

=Proof=