Long-Sought Proof Tames Some of Math's Unruliest Equations