Math Proof Draws New Boundaries Around Black Hole Formation