A retiree discovers an elusive math proof, and nobody notices