A Retiree Discovers an Elusive Math Proof—And Nobody Notices