সংখ্যা তত্ত্ব ও বীজগণিতে উইলসনের উপপাদ্য একটি গুরুত্বপূর্ণ উপপাদ্য। উইলসনের উপপাদ্য অনুযায়ী, সকল স্বাভাবিক সংখ্যা  এর জন্য  হবে কেবল এবং কেবল যদি  একটি মৌলিক সংখ্যা হয়। অর্থাৎ, যদি  একটি মৌলিক সংখ্যা হয়, কেবল তখনই  এর মান  দ্বারা নিঃশেষে বিভাজ্য হবে ।The Universal Book of Mathematics. David Darling, p. 350.   ইতিহাস   আনু. খ্রিস্টীয় ১০০০ সালের দিকে উইলসনের উপপাদ্য সর্বপ্রথম আলোকপাত করেছিলেন মুসলিম বিজ্ঞানী হাসান ইবনুল হায়সাম।O'Connor, John J.; Robertson, Edmund F., "Abu Ali al-Hasan ibn al-Haytham", MacTutor History of Mathematics Archive, University of St Andrews ১৭৭০ সালে এডওয়ার্ড ওয়ারিং এই উপপাদ্যটি বিবৃত করেন কিন্তু কোনো প্রমাণ দেননি। তিনি এই আবিষ্কারের কৃতিত্ব তার ছাত্র জন উইলসনকে দেন।Edward Waring, Meditationes Algebraicae (Cambridge, England: 1770), page 218 (in Latin). ওয়ারিংয়ের উক্ত বইয়ের-এর তৃতীয় (১৭৮২) সংস্করণে উইলসনের উপপাদ্যটি পৃষ্ঠা ৩৮০-তে সমস্যা ৫ হিসেবে উপস্থাপিত হয়েছে। ওই পৃষ্ঠায়, ওয়ারিং উল্লেখ করেন: "Hanc maxime elegantem primorum numerorum proprietatem invenit vir clarissimus, rerumque mathematicarum peritissimus Joannes Wilson Armiger." (একজন মহান এবং গণিতে অত্যন্ত দক্ষ ব্যক্তি, জন উইলসন, মৌলিক সংখ্যার এই অত্যন্ত সুন্দর বৈশিষ্ট্যটি আবিষ্কার করেন।) ১৭৭১ সালে প্রথমবার জোসেফ লুই ল্যাগ্রাঞ্জ এই উপপাদ্যের প্রমাণ দেন।Joseph Louis Lagrange, "Demonstration d'un théorème nouveau concernant les nombres premiers" (মৌলিক সংখ্যা সম্পর্কিত একটি নতুন উপপাদ্যের প্রমাণ), Nouveaux Mémoires de l'Académie Royale des Sciences et Belles-Lettres (Berlin), vol. 2, pages 125–137 (1771). এর প্রায় এক শতাব্দী আগে লিবনিজও এই ফলাফল সম্পর্কে জানতেন বলে প্রমাণ রয়েছে, কিন্তু তিনি এটি কখনো প্রকাশ করেননি।Giovanni Vacca (1899) "Sui manoscritti inediti di Leibniz" (On unpublished manuscripts of Leibniz), Bollettino di bibliografia e storia delle scienze matematiche ... (Bulletin of the bibliography and history of mathematics), vol. 2, pages 113–116; see page 114 (in Italian). ভাক্কা লিবনিজের পান্ডুলিপি থেকে উদ্ধৃতি দেন, পান্ডুলিপিটি the Royal Public Library in Hanover (Germany)-এ সংরক্ষিত আছে, vol. 3 B, bundle 11, page 10:  Original : Inoltre egli intravide anche il teorema di Wilson, come risulta dall'enunciato seguente:"Productus continuorum usque ad numerum qui antepraecedit datum divisus per datum relinquit 1 (vel complementum ad unum?) si datus sit primitivus. Si datus sit derivativus relinquet numerum qui cum dato habeat communem mensuram unitate majorem."Egli non giunse pero a dimostrarlo.Translation : এছাড়াও, তিনি [লিবনিজ] উইলসনের উপপাদ্যটি দেখেছিলেন, যেমন নিম্নলিখিত বিবৃতিতে দেখা যায়: "কোনো সংখ্যার পূর্ববর্তী সকল পূর্ণসংখ্যার গুণফলকে ঐ সংখ্যা দিয়ে ভাগ করলে, যদি ঐ সংখ্যাটি মৌলিক হয় তবে ভাগশেষ হবে 1 (অথবা 1 এর পরিপূরক)। যদি ঐ সংখ্যাটি যৌগিক হয়, তবে ভাগশেষ এমন একটি সংখ্যা হবে যার সাথে মূল সংখ্যার 1 এর চেয়ে বড় একটি ফ্যাক্টর থাকবে।""তবে তিনি এটি প্রমাণ করতে সক্ষম হননি । See also: Giuseppe Peano, ed., Formulaire de mathématiques, vol. 2, no. 3, page 85 (1897).   উদাহরণ  প্রতিটি -এর জন্য ( থেকে  পর্যন্ত), নিম্নলিখিত সারণী  এর মান এবং -কে  দ্বারা ভাগ করার পর ভাগশেষ প্রদর্শন করে। (মডুলার পাটিগণিতের নোটেশনে, -কে  দ্বারা ভাগ করার পর ভাগশেষ  দ্বারা লেখা হয়।)  সারণীর ব্যাকগ্রাউন্ডের রঙ এখানে নীল, মৌলিক মানের জন্য এবং সোনালী, যৌগিক মানের জন্য।  + ফ্যাক্টোরিয়াল সারণী এবং এর ভাগশেষ মডুলো n          2  1  1 3  2  2 4  6  2 5  24  4 6  120  0 7  720  6 8  5040  0 9  40320  0 10  362880  0 11  3628800  10 12  39916800  0 13  479001600  12 14  6227020800  0 15  87178291200  0 16  1307674368000  0 17  20922789888000  16 18  355687428096000  0 19  6402373705728000  18 20  121645100408832000  0 21  2432902008176640000  0 22  51090942171709440000  0 23  1124000727777607680000  22 24  25852016738884976640000  0 25  620448401733239439360000  0 26  15511210043330985984000000  0 27  403291461126605635584000000  0 28  10888869450418352160768000000  0 29  304888344611713860501504000000  28 30  8841761993739701954543616000000  0   প্রমাণ   বিপরীত অনুমানের মাধ্যমে প্রমাণ   ধরি,  একটি যৌগিক সংখ্যা।  যেহেতু যৌগিক সংখ্যার দুইয়ের বেশি উৎপাদক থাকে,  আকারে, যেখানে .  এখন,   আবার,   সুতরাং,   এখন,  এবং  হল  এর যেকোনো দুটি উৎপাদক যা  দ্বারা বিভাজ্য।  তাই,  যেহেতু ,   দেওয়া আছে যে   এর অর্থ   এটি বোঝায় যে   তাই,  যার অর্থ  কে  দিয়ে ভাগ করলে ভাগশেষ  হবে।  এটি বোঝায় যে , যা বিরোধিতা সৃষ্টি করে কারণ  একটি যৌগিক সংখ্যা (আমাদের অনুমান অনুযায়ী), এবং  কোনো যৌগিক সংখ্যা দ্বারা বিভাজ্য হতে পারে না।  আবার,  হওয়াটাও একটি কারণ যে ,  কে ভাগ করতে পারে না।  সুতরাং, আমাদের অনুমান ভুল।  অবশ্যই একটি মৌলিক সংখ্যা হবে।   বীজগাণিতিক প্রমাণ   ধরি,  একটি মৌলিক সংখ্যা।  মডুলো -এ পূর্ণসংখ্যার ক্ষেত্রটি বিবেচনা করে, ফার্মার লিটল থিওরেম থেকে আমরা জানি:  উক্ত ক্ষেত্রের প্রতিটি অশূন্য উপাদান  বহুপদীর একটি মূল।  যেহেতু ক্ষেত্রটিতে মাত্র  টি অশূন্য উপাদান আছে, তাই হয়  অথবা  জোড় সংখ্যা।   হলে, যেকোনো পূর্ণসংখ্যা  এর জন্য,   এর জন্য,   সুতরাং,    বসালে, আমরা পাই    এলিমেন্টারি বা প্রাথমিক প্রমাণ   ধরি,  একটি মৌলিক সংখ্যা।  ক্ষুদ্রতম মৌলিক সংখ্যার জন্য, : । (সত্য)  যদি  হয়, তবে যেকোনো  এর জন্য, এমন একটি  আছে, যেখানে   সেট  এর প্রতিটি পূর্ণসংখ্যা  এর মডুলো -এ একটি গৌণিক বিপরীত সংখ্যা আছে।  এই গৌণিক বিপরীত সংখ্যাটি অনন্য এবং এটিকে  দ্বারা প্রকাশ করা হয়।  যদি  হয়, তবে   তারপর , যার মডুলো -এ দুটি মূল আছে:  এবং   এটি বোঝায় যে  অথবা   আমরা  থেকে  পর্যন্ত সকল পূর্ণসংখ্যাকে,  এবং  বাদে,  জোড়ায় সাজাতে পারি, যেখানে , শুধুমাত্র  এবং  বাদে যাদের গুণফল ।  সুতরাং, ।  উদাহরণস্বরূপ,  হলে:   ফার্মার লিটল থিওরেম দ্বারা প্রমাণ   আবার, ফলাফলটি  এর জন্য প্রমাণিত, তাই ধরে নেই  একটি বিজোড় মৌলিক সংখ্যা, ।   বহুপদীটি বিবেচনা করি ।  এখানে -এর ডিগ্রী , প্রধান পদ , এবং ধ্রুবক পদ । এর টি মূল হল  ।  এখন বিবেচনা করি:  -এরও ডিগ্রী  এবং প্রধান পদ  মডুলো । ফার্মার লিটল থিওরেম বলে যে, এটিতেও একই টি মূল আছে: ।  অবশেষে, বিবেচনা করি:  -এর ডিগ্রী সর্বাধিক  (যেহেতু প্রধান পদগুলি বাতিল হয়ে যায়), এবং মডুলো -এরও একই টি মূল আছে: ।  কিন্তু লাগ্রাঞ্জের উপপাদ্য বলে যে এটির সর্বাধিক টি মূল থাকতে পারে। অতএব,  অবশ্যই মডুলো  আইডেন্টিক্যালি শূন্য হতে হবে, তাই এর ধ্রুবক পদ হল । এটি উইলসনের উপপাদ্য।   সাইলোর উপপাদ্যের মাধ্যমে প্রমাণ  উইলসনের উপপাদ্যকে সাইলোর উপপাদ্যের একটি নির্দিষ্ট প্রয়োগ থেকে নির্ণয় করা সম্ভব।  ধরা যাক,  একটি মৌলিক সংখ্যা।  সহজেই দেখা যায় যে, -এর জন্য  (সমমিতিক গ্রুপ) এ -ক্রম বিশিষ্ট  সংখ্যক উপাদান রয়েছে, যেগুলো -চক্রগুলোর সমষ্টি, অর্থাৎ ।  অন্যদিকে, -এ প্রতিটি সাইলো -উপগ্রুপ আসলে -এর একটি অনুলিপি । ফলে, সাইলো -উপগ্রুপের সংখ্যা   তৃতীয় সাইলো উপপাদ্য থেকে পাই:  এখন উভয় পাশকে  দ্বারা গুণ করলে পাওয়া যায়:   প্রয়োগ   মৌলিকত্ব পরীক্ষণ   উইলসনের উপপাদ্যের একটি গুরুত্বপূর্ণ বৈশিষ্ট্য হল এটি একটি দ্বি-মুখী শর্ত প্রদান করে - অর্থাৎ একটি সংখ্যা মৌলিক হলেই কেবল এই শর্ত পূরণ করবে এবং শর্তটি পূরণ করলে সংখ্যাটি অবশ্যই মৌলিক হবে। এই বৈশিষ্ট্যটি অন্যান্য মৌলিকত্ব পরীক্ষার পদ্ধতিগুলোতে সেভাবে পাওয়া যায় না। উদাহরণস্বরূপ, ফার্মার বা লুকাস-লেহমার পরীক্ষাগুলি শুধুমাত্র নির্দিষ্ট ধরনের সংখ্যার জন্য প্রযোজ্য।  তবে উইলসনের উপপাদ্যের কিছু গুরুতর সীমাবদ্ধতাও রয়েছে। প্রথমত, বড় সংখ্যার ক্ষেত্রে  গণনা করা অত্যন্ত কঠিন এবং সময়সাপেক্ষ। দ্বিতীয়ত, কম্পিউটারে বড় ফ্যাক্টোরিয়াল মান সংরক্ষণ করা কঠিন, কারণ এই মান দ্রুত বৃদ্ধি পায়। এছাড়া, মডুলার পাটীগণিত ব্যবহার করেও বড় সংখ্যার জন্য গণনা করা কঠিন হয়ে পড়ে।  বাস্তব প্রয়োগের ক্ষেত্রে, উইলসনের উপপাদ্য মূলত ছোট মৌলিক সংখ্যা পরীক্ষার জন্য ব্যবহার করা হয়। বড় সংখ্যার মৌলিকত্ব পরীক্ষার জন্য আধুনিক ক্রিপ্টোগ্রাফিতে মিলার-রাবিন বা সোলোভে-স্ট্রাসেন পরীক্ষার মতো সম্ভাব্যতামূলক পদ্ধতিগুলি ব্যবহার করা হয়। তবে তাত্ত্বিক দৃষ্টিকোণ থেকে, উইলসনের উপপাদ্য মৌলিকত্ব পরীক্ষার একটি নির্ভুল ও সুন্দর পদ্ধতি হিসেবে বিবেচিত হয়।   কোয়াড্রাটিক রেসিডিউ   উইলসনের উপপাদ্য ব্যবহার করে, যেকোনো বিজোড় মৌলিক সংখ্যা  এর জন্য, আমরা  সমীকরণের বাম পাশটি পুনর্বিন্যস্ত করতে পারি ।  এই সমীকরণটি পাওয়া যায়:  অতএব,  অথবা  আমরা এই তথ্যটি ব্যবহার করে একটি বিখ্যাত ফলাফলের একটি অংশ প্রমাণ করতে পারি: যেকোনো মৌলিক সংখ্যা  এর জন্য, যেখানে , অর্থাৎ কোনো পূর্ণসংখ্যা  এর জন্য । সুতরাং  নিলে হয়: ।   মৌলিক সংখ্যা নির্ণয়ের সূত্র   উইলসনের উপপাদ্য ব্যবহার করে মৌলিক সংখ্যা নির্ণয়ের সূত্র]] তৈরি করা হয়েছে, তবে সেগুলো ব্যবহারিক দৃষ্টিকোণ থেকে খুবই ধীর। যেমন:  ১৯৬৪ সালে, সি.পি. উইলিয়ানস নিম্নলিখিত সূত্রটি প্রদান করেন:  যেখানে  হলো -তম মৌলিক সংখ্যা।.   p-অ্যাডিক গামা ফাংশন    উইলসনের উপপাদ্য p-অ্যাডিক গামা ফাংশন সংজ্ঞায়িত করতে সহায়তা করে।   গাউস সরলীকরণ  গাউস প্রমাণ করেছিলেন যে  যেখানে p একটি বিজোড় মৌলিক সংখ্যা এবং  একটি ধনাত্মক পূর্ণ সংখ্যা ।   আরো দেখুন   ফার্মার লিটল থিওরেম  মডুলার পাটীগণিত  ফার্মার শেষ উপপাদ্য  ব্রোকার্ডের অনুমান   টীকা    তথ্যসূত্র   Disquisitiones Arithmeticae গাউসের সিসেরোনিয়ান ল্যাটিন থেকে ইংরেজি এবং জার্মান ভাষায় অনূদিত হয়েছে। জার্মান সংস্করণে সংখ্যা তত্ত্বের উপর তার সমস্ত কাজ অন্তর্ভুক্ত রয়েছে: কোয়াড্রাটিক রিসিপ্রোসিটির সমস্ত প্রমাণ, গাউসের যোগফলের চিহ্ন নির্ধারণ, বাইকোয়াড্রাটিক রিসিপ্রোসিটি ইনভেস্টিগেশন, এবং প্রকাশিত না হওয়া নোটগুলি।  .  .  .     বহিঃসংযোগ        Mizar system proof: http://mizar.org/version/current/html/nat_5.html#T22