doi: 10.5281/zenodo.20566487
If direct proof is too difficult, create a stronger framework that makes the original problem a special case.