20250801 Proof of the Tightness of a Lower Bound on the Chromatic Number of a Graph