అంకములు “P ప్రధానసంఖ్యయైన 1+1x2x3x... X(P-1) =0(mod P) .” ఈ సిద్ధాంతము యొక్క విలోమము (Converse) గూడ నిజమని రుజువు చేయబడినది. అనగా ప్రధానసంఖ్యలను కనుగొనుటకు ఈ విలోమసిద్ధాంత మొకమార్గము. దీని నిట్లు నిర్వచింపగలము : m "ఒక వేళ 1+1x2x3x... X (P - 1) = 0 (mod P) అయినచో P అనునది ప్రధానసంఖ్య కావలయును.” - ఉదా : 1=7 అయిన 1+1x2x3x4x5X6 : 1+720=721. దీనిని 7 నిశ్శేషముగా భాగించును. కారణము 7 ప్రధానసంఖ్య యగుటయే. ఇట్లే 8 ప్రధాన సంఖ్య కాదు. కావున 1+1x2x3x4x5=121. ఇది 6చే భాగింపబడదు. చిన్నచిన్న సంఖ్యలను పరీక్షించుట కేగాని పెద్ద సంఖ్యకు ఈ సిద్ధాంతము అను వై నది కాదు. ఎందుకన, పెద్ద సంఖ్యల వితతలబ్ధము (Factorial) లను కనుగొనుటలో చాల శ్రమఁయగును. ఇంతవరకు మనకు తెలిసిన ప్రధాన సంఖ్యలను గురించి కొంత తెలిసికొనుట అవసరము, అవి 2, 3, 5, 7, 11, 18, 17, 19...101...257 ..85,587... 1950 సంవత్సరము వరకు మనకు తెలిసిన పెద్ద ప్రధాన సంఖ్య క్రింద వ్రాయబడినది. 170, 141, 188, 480, 488, 231, 731, 687, 808, 715, 884, 105, 727. ప్రధానసంఖ్య లెన్ని గలవు? వీటిసంఖ్య పరిమితమా? అనంతమా ? ప్రధాన సంఖ్యల సంఖ్య అనంతమని తేలి కగా రుజువుచేయగలము. ప్రధాన సంఖ్యలను గురించి డిరిష్ (Dirichlet 1805-1859) వివరించినసూత్రము మరొకటి ఇట్లు ఉన్నది:- “4, b లు ఒక దానికొకటి ప్రధానములైనచో an+b, n= 0, 1, 2,...లో అనంతముగా ప్రధాన సంఖ్యలు గలవు.”' n g" 7 చాల పెద్ద సంఖ్య యైనపుడు, దానికంటే చిన్నవి అగు ప్రధానాంకముల సంఖ్య రమారమి 10 g= అగునని హడమార్డ్ (Hadamard), డిల వెల్లపొస్సి Poussin) అను గణిత శాస్త్రజ్ఞులు కనుగొనిరి. (Dela Vella 6 వర్గావశిష్ట, వర్గావశిష్టేతరములు (Quadratic residues and Quadratic non-residues): ఏదైన సహజ సంఖ్య యొక్క వర్గమును ఒక ప్రధానాంకముచే భాగించగా మిగులు శేషమును ఆ ప్రధానాంకము యొక్క వర్గా వశిష్టమందురు. వర్గావశిష్టములు కాని అంకెలను వర్గా వళి ష్టేతరములందురు. 1, 2, 33 లను 7 చే భాగించగా వచ్చు శేషములు వరుసగా 1, 4, 2. అట్లే 4, 5, 6 లను 7 చే భాగించి నను వచ్చు శేషములు 2, 4, 1 మాత్రమే యని గమ నించుట సులభము. ఇదే విధముగా 83, 98, 108... లను 7 చే భాగించినను వచ్చు శేషము 1, 4, 2 అంకెలు మాత్రమే. (సున్నను శేషముగా పరిగణించము) అనగా, సహజ సంఖ్యల వర్గములను 7 చే విభజించగా మిగులు శేష మెప్పటికిని 1, 2, 4 అంకెలలో నొకటి మాత్రమే యగును. 1, 2, 4 అంకెలను 7 యొక్క వర్గావశిష్టము లనియు, 6 మిగిలిన 3, 5, అంకెలను 7 యొక్క వర్గావళి ష్టేతరము లనియు పేర్కొందురు. వర్గావశిష్ట, వర్గావశిష్టేతర లబ్ధ ధర్మములు : 1. రెండు వర్గావశిష్టముల లబ్ధము వర్గావశీష్ట మగును. 2. వర్గావశిష్టేతరములలబ్ధము వర్గావశిష్ట మేయగును. 8. వర్గావశిష్ట, వర్గావశిష్టేతరములు లబ్ధము వర్గావళి “ష్టేతరమగును. ఇంతవరకు వివరించిన ఉదాహరణము యొక్క సాధా రణీకరణమును ఇట్లు వివరింపవచ్చును:- అను "71, 12 అను అంకెలు ఒకదాని కొక్కటి ప్రధాన ములై, x=r (mod n) సర్వసమత్వము సరియగునట్లు ౫ విలువను పూర్ణసంఖ్యలలో సాధించగలిగిన, అంకె " అను అంకెయొక్క వర్గావశిష్టమనియు, అటుల సాధింపజాలకున్న " అను అంకె, m యొక్క వర్గావ శిష్టేతరమనియు అందురు.” పై సర్వసమత్వమును సాధించగలుగుటకు ఆవశ్య కము, సమర్థము ఐననిబంధన (Necessary and sufficient - a (m) condition) r నది. ఇందులో 9(m) గురుతు మనకు తెలిసినదే. 4 అను అంకె 9 (m), 2 ల యొక్క గరిష్ఠ సామాన్యభాజక ము, =1(modm) అని రుజువుచేయబడి
