{"entities":{"Q841247":{"pageid":843095,"ns":120,"title":"Item:Q841247","lastrevid":64739487,"modified":"2026-04-11T21:54:21Z","type":"item","id":"Q841247","labels":{"en":{"language":"en","value":"A binomial sum related to Wolstenholme's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5603992"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$105F57B8-82D0-4EB5-BED1-64CE534E4FC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac4cde1a3eb57c7f3c523204ce8b57da34d335e5","datavalue":{"value":{"text":"A binomial sum related to Wolstenholme's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q841247$1A06FAE4-BEA2-4B69-913F-5D6F69890083","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e5cd56195dd0aac65359af78f0a03ce4e96ac54","datavalue":{"value":"1241.11016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841247$4FA2699E-AD71-4849-B2DB-E58562632D06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7576562e144da65c2918db7bf85239446ce87799","datavalue":{"value":{"entity-type":"item","numeric-id":215643,"id":"Q215643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$41285DAF-107F-4F45-B2C4-FCA7B22A1EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7d1d41510feb21834da9b9c4d38c022c8986c1e","datavalue":{"value":{"entity-type":"item","numeric-id":241618,"id":"Q241618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$D7EB9B1D-FEE1-43F3-8D88-3FD7BFEB75BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$D1F49845-DFF6-400A-BD30-316CED41DF83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0511b34f06c549178cd5aa0c7bf87d7d40160e71","datavalue":{"value":{"time":"+2009-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q841247$6CCB9290-17F5-4F29-9BCB-6D7A29071239","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c303587c969f12d1bc965938eb55c2a151c60349","datavalue":{"value":"\\textit{M. Chamberland} and \\textit{K. Dilcher} [J. Number Theory 120, No. 2, 349--371 (2006; Zbl 1139.11013)] had already found that a certain alternating sum \\(u(n)\\) of \\(n+1\\) products of two binomial coefficients has a property similar to Wolstenholme's theorem, namely \\(u(p)\\equiv -\\pmod {p^3}\\) for all primes \\(p\\geq 5\\).  In order to partly explain why such congruence also holds for certain composite integers \\(p\\) which appear to always have exactly two prime divisors, one of which is always 2 or 5, in the present paper the authors study the sums  \\[  u(n):=\\sum_{k=0}^n (-1)^{k} \\binom{n}{k} \\binom{2n}{k}  \\]  in greater details than they previously did. As a consequence of their accurate research, the composites in question are characterized and some new open problems are raised as well.  Beyond basic tools like Leibniz's rule for higher derivatives of a product, Fermat's Little Theorem, Kummer's Theorem, Vandermonde's Identity and the Chinese Remainder Theorem, in the proof the authors employ some remarkable results for binomial coefficients from \\textit{A. Granville} [Borwein, J. (ed.) et al., Organic mathematics. CMS Conf. Proc. 20, 253--276 (1997; Zbl 0903.11005)], the famous congruence discovered by \\textit{H. Anton} [Arch. Math. Phys. 49, 241--308 (1868; JFM 01.0047.04)], an important congruence obtained by \\textit{V. Brun} et al. [11. Skand. Mat.-Kongr., Trondheim 1949, 42--54 (1952; Zbl 0048.27204)] and generalized by \\textit{K. Davis} and \\textit{W. Webb} [J. Number Theory 43, No. 1, 20--23 (1993; Zbl 0769.11008)], a well-known theorem by \\textit{E. Lucas} [Bull. Soc. Math. Fr. 6, 49--54 (1878; JFM 10.0139.04)], a convergence property of linear recurrence sequences found by \\textit{R. J. Kooman} and \\textit{R. Tijdeman} [Nieuw Arch. Wiskd., IV. Ser. 8, No. 1, 13--25 (1990; Zbl 0713.11010)], an explicit formula for the Jacobi polynomials from [\\textit{H. W. Gould}, Combinatorial identities. Morgantown, W. Va.: Henry E. Gould (1972; Zbl 0241.05011)] and a second explicit expression for them from [\\textit{M. Abramowitz} (ed.) and \\textit{I. A. Stegun} (ed.), Handbook of mathematical functions with formulas, graphs and mathematical tables. Washington: U.S. Department of Commerce. (1964; Zbl 0171.38503)], the Davis-Webb congruence (mod 8) found by \\textit{J. G. Huard, B. K. Spearman} and \\textit{K. S. Williams} [Eur. J. Comb. 19, No. 1, 45--62 (1998; Zbl 0889.11007)], a type of congruences studied by \\textit{R. J. McIntosh} [Am. Math. Mon. 99, No. 3, 231--238 (1992; Zbl 0755.11001)] and the WZ algorithm by [\\textit{M. Petkov\u0161ek, H. S. Wilf} and \\textit{D. Zeilberger}, \\(A=B\\). Wellesley, MA: A. K. Peters (1996; Zbl 0848.05002)] implemented in Maple 9.5 (\\url{http://www.maplesoft.com}).","type":"string"},"datatype":"string"},"type":"statement","id":"Q841247$ED35BD6E-4739-49C5-B4E1-804340F9B34A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"34693e52bda3b7dbf741569b62f785c0e006d8ef","datavalue":{"value":"11B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841247$097597E3-9C12-4ECA-9305-097A057A1178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"880665e99fe5de07999ef2f74a810b36dd3dabed","datavalue":{"value":"05A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841247$B14FC1EE-738F-408A-8906-50918AA1ACC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7aadf0c33dc798e33894a6ff399a88ffb729c930","datavalue":{"value":"5603992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841247$50829B2F-8555-4806-8DAC-EE92C4F9831C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47ccf779a32104cce9a210c450df4fecae281ec1","datavalue":{"value":"binomial coefficients","type":"string"},"datatype":"string"},"type":"statement","id":"Q841247$7BC72F2E-4A0B-4A48-98DF-83BBB839A6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6718826e0a2d35c69bfe9bb0cd27b2d1e0fe0135","datavalue":{"value":"binomial sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q841247$D79AEBB6-9703-4DE2-9FA7-2DF5D4E4C027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e55fd3e64f9fd5643038df9eca95522aff43bfef","datavalue":{"value":"Wolstenholme's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q841247$3F493740-20AA-4345-8E3F-EF3176C3E700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q841247$3BE14AF9-92DD-4771-9431-025A0F53B370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0abf6dbe589df02d37d7424c38b13b2e2469e1c","datavalue":{"value":"Wilf-Zeilberger method","type":"string"},"datatype":"string"},"type":"statement","id":"Q841247$29BBC0B0-14D5-43FB-921D-CA293E7DD264","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$CD082A4A-F795-4753-8CDF-4217E905B2EF","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$A2545491-B81C-4552-80C7-7E20A6A36AA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65e27a21a5278cfa1185991686a905aecef47b7e","datavalue":{"value":"https://doi.org/10.1016/j.jnt.2009.05.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q841247$6E62548D-9E74-4F72-8756-B4D3D000EC2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1eb99e8b418ec7d17b5b8e2c2a60a3543650e945","datavalue":{"value":"W2015497605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841247$27638AF2-0E69-4D82-9B98-64C983C6DDF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c1747000b44088e3dee81e84aed6b0386a60c7a","datavalue":{"value":{"entity-type":"item","numeric-id":3661894,"id":"Q3661894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$ED8DBFF1-BD18-4B7F-B76F-34A7996A88FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"101ff79785409e08f5271ca9bead4b034f337578","datavalue":{"value":{"entity-type":"item","numeric-id":5814877,"id":"Q5814877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$578904A3-3EAA-4ADF-8FB2-44DF117A7E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ffca3b215d24029d427ebde8bb3a68e9c9c5f07","datavalue":{"value":{"entity-type":"item","numeric-id":2472394,"id":"Q2472394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$9AF0AEAC-1D17-489B-A79A-B9001513F0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92320d8d52476818665c9cbe35631ecb2928c125","datavalue":{"value":{"entity-type":"item","numeric-id":3358798,"id":"Q3358798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$BE45F5BD-EF64-4808-B038-CBF139208E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83d1953f933d7cbb48cd4c292fa176ce0fc321e","datavalue":{"value":{"entity-type":"item","numeric-id":1208165,"id":"Q1208165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$B40BE215-7B37-47CF-999B-6A9A5D63ECB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52811bfc7c1962136717156ab14a01cf0d130ba1","datavalue":{"value":{"entity-type":"item","numeric-id":4421931,"id":"Q4421931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$4878C439-4CDE-4B88-BFF1-FF42DC39BCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dbb380a0421a742d177791af519cdfe47ad8bcc","datavalue":{"value":{"entity-type":"item","numeric-id":5678871,"id":"Q5678871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$13C5942B-B31C-4036-9D6A-CAA811DEABAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e91e1eff78047b36128c11903fade480eaca3c87","datavalue":{"value":{"entity-type":"item","numeric-id":4377092,"id":"Q4377092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$A0958416-66DF-47D5-876B-E5C18051A2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a8704ddce7509f90eb7369896ec65013d44770","datavalue":{"value":{"entity-type":"item","numeric-id":2474294,"id":"Q2474294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$F4FA17AE-082C-484F-B76F-E9AFBAE30B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d1194d6044d1ab9b9e639a11d0fc37616d5685a","datavalue":{"value":{"entity-type":"item","numeric-id":1378294,"id":"Q1378294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$91920571-67CC-41BC-B79D-239D0D2C3698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8729c6bc951806ec9d3221ffb71cf0807f3815","datavalue":{"value":{"entity-type":"item","numeric-id":4507789,"id":"Q4507789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$BA4FEB08-E99D-4728-B03D-EA3F9F1A2397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3589200a369eaef1279686abe7ac1772cf90a008","datavalue":{"value":{"entity-type":"item","numeric-id":4003091,"id":"Q4003091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$AF3161C4-47AB-4615-B212-26C9E08F89CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0acf3b89bd1c8ac68e67e8a8899ad96a19a00a","datavalue":{"value":{"entity-type":"item","numeric-id":3197897,"id":"Q3197897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$179438E6-8515-49A8-AC52-ED44E09C8659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a150aa27f76c8fba8cfa113a4c021cf4fd84610","datavalue":{"value":{"entity-type":"item","numeric-id":3188065,"id":"Q3188065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$3F33B7E0-6F6B-4372-9C95-80FC1324CF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3058b918e6e0feace5adb7c1c9e0496f2b827ca6","datavalue":{"value":{"entity-type":"item","numeric-id":4013197,"id":"Q4013197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$1F2422BE-DECC-4C55-AEE1-3565C1332EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9843dc9935131d31906e5d504c4b55ae987313","datavalue":{"value":{"entity-type":"item","numeric-id":4839705,"id":"Q4839705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$FFCD1DBC-AAF9-47DF-AE49-7B6CE198FAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57c4ec75eb1df7410ececc1deecb107ec91c8a62","datavalue":{"value":{"entity-type":"item","numeric-id":4875364,"id":"Q4875364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$98C29BC9-865A-4798-A8BC-7B43D73B1FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a92b39f7bde098198b3551846f641fc804074c21","datavalue":{"value":{"entity-type":"item","numeric-id":5485316,"id":"Q5485316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841247$C6451162-C20D-41C4-9E78-65B000033442","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"542ec08ac6c97659d1f7803d422112c2e44d6a18","datavalue":{"value":"10.1016/J.JNT.2009.05.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841247$75266BFE-B0A9-4771-85F4-29971508905B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3b82e58238a0e6ecc6209a917082e5602af6165","datavalue":{"value":{"entity-type":"item","numeric-id":5320353,"id":"Q5320353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39fa827ab8f601c4de6b51c8d5faa55fdff93a29","datavalue":{"value":{"amount":"+0.8341593146324158","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q841247$626BB9F2-2989-42BC-92FF-E89532F49853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c72ba6fbf0533de88ad6ac607f712a663689e90a","datavalue":{"value":{"entity-type":"item","numeric-id":2472394,"id":"Q2472394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a222c9cd005b7f4aa32fcb67de0904c80f8280","datavalue":{"value":{"amount":"+0.8214767575263977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q841247$98EA115B-01D3-4DD6-850B-118939714977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615bf8f8d48fe16e6e41627446e06f4aee61878f","datavalue":{"value":{"entity-type":"item","numeric-id":2474294,"id":"Q2474294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35a9f6dde1df6bf248a59e5e24dc500db805d462","datavalue":{"value":{"amount":"+0.8107614517211914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q841247$0377C3C5-88E5-42CF-A161-42AB896E1696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"070a573cf02f56ea8b3d6729901f3a155b620aab","datavalue":{"value":{"entity-type":"item","numeric-id":4409694,"id":"Q4409694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f3e97626950b22dcd30d8a25424c323d752fe8","datavalue":{"value":{"amount":"+0.786677360534668","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q841247$7A1DC5C5-7187-4325-87FD-35D681442167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f963f7f6ad2595a6b493d60586b6f4985b1a57","datavalue":{"value":{"entity-type":"item","numeric-id":3060217,"id":"Q3060217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b568eee59ceed73d5a058a794cbbaf0590b1f2a","datavalue":{"value":{"amount":"+0.7827503085136414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q841247$674795CC-C60B-4BB6-9680-A3E4D09D4BD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A binomial sum related to Wolstenholme's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_binomial_sum_related_to_Wolstenholme%27s_theorem"}}}}}