Special:PageHistory/Binomial inverse theorem