PROOF OF 🗺 LESS THAN ZERO CURVATURE