@misc{indiciae6dfafbf72410,
  title = {All binomial identities are verifiable.},
  author = {D Zeilberger},
  year = {1981},
  doi = {10.1073/pnas.78.7.4000},
  url = {https://pubmed.ncbi.nlm.nih.gov/16593045/},
  note = {Source identifier: 16593045}
}