<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">NS</journal-id><journal-title-group><journal-title>Natural Science</journal-title></journal-title-group><issn pub-type="epub">2150-4091</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/ns.2015.78044</article-id><article-id pub-id-type="publisher-id">NS-58852</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Biomedical&amp;Life Sciences</subject><subject> Chemistry&amp;Materials Science</subject><subject> Earth&amp;Environmental Sciences</subject><subject> Medicine&amp;Healthcare</subject><subject> Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Development of New Method for Generating Prime Numbers
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>eidikassym</surname><given-names>Baibekov</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Serik</surname><given-names>Altynbek</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref></contrib></contrib-group><aff id="aff2"><addr-line>Eurasian National University, Astana, Kazakhstan</addr-line></aff><aff id="aff1"><addr-line>Research Institute of Coal Chemistry and Technology, Astana, Kazakhstan</addr-line></aff><pub-date pub-type="epub"><day>05</day><month>08</month><year>2015</year></pub-date><volume>07</volume><issue>08</issue><fpage>416</fpage><lpage>423</lpage><history><date date-type="received"><day>30</day>	<month>June</month>	<year>2015</year></date><date date-type="rev-recd"><day>accepted</day>	<month>15</month>	<year>August</year>	</date><date date-type="accepted"><day>18</day>	<month>August</month>	<year>2015</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  The article is devoted to actual problems of prime numbers. A theorem that allows generating a sequence of prime numbers is proposed. An algorithm for generating prime numbers has been developed. A comparison of the proposed theorem, with Wilson’s theorem is also provided.
 
</p></abstract><kwd-group><kwd>Prime Numbers</kwd><kwd> Theorem</kwd><kwd> Algorithm</kwd><kwd> Method</kwd><kwd> Prime Twins</kwd><kwd> Generation</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>The reason for writing this article was a solution of the ancient problem. This problem in a simplified version is as follows: Slandy a noble woman well-known in the Eastern world lived in ancient times. She had seven daughters. Slandy always wore aтamazing beauty antique necklace of precious pearls, which according to tradition passed from mother-in-law to daughter-in-law. In old age, she told her daughters-in-law: “By inheritance it is time to pass the necklace to someone of you and if I will choose someone of you, the others will be offended. If I choose two of you and divide this necklace exactly into two parts, one pearl will be surplus. This is not a right way plus other fives will feel aggrieved what I don’t want in my old ages. And also, when this necklace is divided into 3, 4 or 5, and 6, in each case one pearl is superfluous. And if I divide it by 7, the pearls split evenly, but this is also impossible, as this necklace according to the covenant of ancestors must be passed to only one daughter-in-law. Therefore I will pass the necklace to whom who will determine how many pearls are in this necklace. Others should not be offended.”</p><p>“It is known that the daughter-in-law, who decided this problem called Alkhan-Tumar, which means Necklace-Mascot.</p><p>Legend also says that this necklace still exists.”</p><p>Naturally today it is not difficult to solve the problem. Let’s first recall Wilson’s theorem which is formulated as: a natural number n &gt; 1 is a prime number if and only if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x5.png" xlink:type="simple"/></inline-formula> is divided by n evenly [<xref ref-type="bibr" rid="scirp.58852-ref1">1</xref>] .</p><p>This formulation implies that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x6.png" xlink:type="simple"/></inline-formula> is divided by all natural numbers less than n (except 1) with a remainder of 1. Using given theorem, let’s find a solution: 721. However, it is not a full solution and it is one of a set of solutions.</p><p>Using criterions for divisibility and properties of natural numbers factorial expansion, we can find a first solution as 301. Obviously, that the solutions of this problem set up an arithmetic progression, the first term of which is equal to 301 and the progression difference is 420. i.e. the sequence of solutions of this problem looks like: 301, 721, 1141, etc.</p><p>This example is interesting because, if in this problem we replace last number 7 by number 9, or by any composite number, then this problem has no solution, since a condition of a remainder of 1 will not be fulfilled. In short, this problem has a solution when and only when a final number is a prime number, such as 11, 13, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x7.png" xlink:type="simple"/></inline-formula></p><p>As you can see, this problem is devoted to the problems of prime numbers. We believe that such problems with some similar formulations can be found in folklores of many nations. This is not surprising, the problems of prime numbers appeared before the Common Era, have been affecting interests of the scientific community for more than 2300 years. Since Eratosthenes, scientists have been gradually progressing, and in recent decades computers appeared to help them. But the main problems of prime numbers are still unsolved.</p><p>The solution of the above mentioned problem shows a way for solving the following problem of prime numbers.</p></sec><sec id="s2"><title>2. Prime Numbers Generation</title><p>Let we solve the following problem.</p><p>Suppose we are given an ordered sequence of prime numbers. It is necessary to find a next in order prime number. To solve the problem the following theorem is suggested.</p><p>Theorem. If the numbers <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x8.png" xlink:type="simple"/></inline-formula> are terms of the original sequence of prime numbers, where is an order of a prime number, i.e.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x9.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x10.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x11.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x12.png" xlink:type="simple"/></inline-formula>, etc., then there is a whole number k for which <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x13.png" xlink:type="simple"/></inline-formula> is divided evenly by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x14.png" xlink:type="simple"/></inline-formula>, and by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x15.png" xlink:type="simple"/></inline-formula> with a remainder of 1 for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x16.png" xlink:type="simple"/></inline-formula></p><p>It is easy to prove this theorem. For this purpose, it is only necessary to combine Wilson’s theorem with a fundamental theorem of arithmetic (“every natural number greater than 1 can be represented as a product of prime numbers, and this product is unique”). The combination of these theorems makes required proof elementary and obvious. For this purpose, in a first approximation, it suffices to take as a product of all composite numbers less than<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x17.png" xlink:type="simple"/></inline-formula>, i.e. a product of those composite numbers that appear in Wilson’s theorem. Therefore, we skip a proof of the theorem intentionally.</p><p>Now, using this theorem, we will show an algorithm for solving posed problem.</p></sec><sec id="s3"><title>3. Algorithm for Generating Prime Numbers</title><p>Suppose we have a sequence of known prime numbers<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x18.png" xlink:type="simple"/></inline-formula>, where i is an order number of prime numbers, i.e.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x19.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x20.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x21.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x22.png" xlink:type="simple"/></inline-formula>, etc. and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x23.png" xlink:type="simple"/></inline-formula> desired prime number.</p><p>Let indicate <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x24.png" xlink:type="simple"/></inline-formula> as a product of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x25.png" xlink:type="simple"/></inline-formula>. Therefore, according to the conditions of the suggested theorem, for some whole number <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x26.png" xlink:type="simple"/></inline-formula> the following equality should be satisfied:</p><disp-formula id="scirp.58852-formula949"><label>, (1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-8302610x27.png"  xlink:type="simple"/></disp-formula><p>Lemma. If equality (1) is true, then it is true for a infinite set of whole values of k. Plus a sequence of values of k forms an arithmetic progression, the first member of which is in interval from 1 to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x28.png" xlink:type="simple"/></inline-formula>, a common difference of this progression is equal to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x29.png" xlink:type="simple"/></inline-formula>, and one of the terms of the progression is a product of all composite numbers less<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x30.png" xlink:type="simple"/></inline-formula>, i.e. a product of those composite numbers that appear in Wilson Theorem.</p></sec><sec id="s4"><title>4. Proof</title><p>For optimality of the proposed theorem implementation in practice, we need to determine a minimum, i.e. the initial value, of k or at least to identify an interval it belongs to.</p><p>For this we consider the ratio of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x31.png" xlink:type="simple"/></inline-formula>.</p><p>First we will show, that, if the ratio at any k from 1 to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x32.png" xlink:type="simple"/></inline-formula> is not a whole number, then it will not be a whole number for any<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x32.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x33.png" xlink:type="simple"/></inline-formula>. Let prove this.</p><p>Suppose an expression <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x34.png" xlink:type="simple"/></inline-formula> at <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x35.png" xlink:type="simple"/></inline-formula> is not a whole number. Let try to determine, what</p><p>this ratio will be for the next following values of k For this purpose we select a value of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x36.png" xlink:type="simple"/></inline-formula>. Then the ratio in question takes a form as:</p><disp-formula id="scirp.58852-formula950"><graphic  xlink:href="http://html.scirp.org/file/3-8302610x37.png"  xlink:type="simple"/></disp-formula><p>It is obvious, that this expression will not be a whole number, since an addend, as mentioned above, is not a whole number. After that, repeating this procedure similarly for any<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x38.png" xlink:type="simple"/></inline-formula>, we assure that this ratio will never be a whole number.</p><p>This means that, if the ratio in question of Equation (1) is a whole number, then the initial value of k must be in interval from 1 to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x39.png" xlink:type="simple"/></inline-formula>, i.e. if</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x40.png" xlink:type="simple"/></inline-formula>.</p><p>We will also show here that when the equality (1) is satisfied, the parameter k takes a set of values that equal to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x41.png" xlink:type="simple"/></inline-formula>. In fact, using this expression, we transform the original ratio in question into:</p><disp-formula id="scirp.58852-formula951"><graphic  xlink:href="http://html.scirp.org/file/3-8302610x42.png"  xlink:type="simple"/></disp-formula><p>It is obvious, that the first term is a whole number and the second term, as was shown above, is also a whole number, therefore the ratio in question in the lump is also a whole number.</p><p>From the above said it follows that under the equality (1), the parameter k takes is a set of values which, as stated above, form an arithmetic progression. The first term of the progression should be in interval from 1 to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x43.png" xlink:type="simple"/></inline-formula>, i.е.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x43.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x44.png" xlink:type="simple"/></inline-formula>. The common difference of this progression is equal<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x43.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x44.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x45.png" xlink:type="simple"/></inline-formula>. One of the terms of the arithmetic progression is a product of all composite numbers less than<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x43.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x44.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x45.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x46.png" xlink:type="simple"/></inline-formula>, i.e. it is equal to the product of those composite numbers that appear in Wilson’s theorem.</p></sec><sec id="s5"><title>5. The Proof of the Lemma Is Completed</title><p>From this moment and further, it is sufficient to know an initial value of parameter k, which is in interval of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x47.png" xlink:type="simple"/></inline-formula>. For convenience, we introduce parameter<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x48.png" xlink:type="simple"/></inline-formula>, such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x49.png" xlink:type="simple"/></inline-formula>.</p><p>Note that expression of Equation (1) includes two conditions:</p><p>a) A number <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x50.png" xlink:type="simple"/></inline-formula> should be separately divided by all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x51.png" xlink:type="simple"/></inline-formula> with a remainder 1, i.e. for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x52.png" xlink:type="simple"/></inline-formula>:</p><disp-formula id="scirp.58852-formula952"><label>(1а)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-8302610x53.png"  xlink:type="simple"/></disp-formula><p>b) A number <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x54.png" xlink:type="simple"/></inline-formula> should be divided by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x55.png" xlink:type="simple"/></inline-formula> evenly, i.e.</p><disp-formula id="scirp.58852-formula953"><label>(1b)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-8302610x56.png"  xlink:type="simple"/></disp-formula><p>Thus, let we have an initial ordered sequence of prime numbers <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x57.png" xlink:type="simple"/></inline-formula> To find the next in order prime number <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x58.png" xlink:type="simple"/></inline-formula> we will build the following algorithm. For this, first for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x59.png" xlink:type="simple"/></inline-formula> we take the next odd number to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x60.png" xlink:type="simple"/></inline-formula>. After that, taking k from 1 to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x61.png" xlink:type="simple"/></inline-formula>, we execute arithmetic operation given in Equation (1). If in this case and at some value of k the conditions of Equations (1a) and (1b) will be observed, i.e. a result of division according the Equation (1) will be a whole number and then considered number <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x62.png" xlink:type="simple"/></inline-formula> is the next prime number. After that, in the same way we start to search next prime number<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x63.png" xlink:type="simple"/></inline-formula>.</p><p>And, if the conditions of Equations (1a) and (1b) are not met, then we deal with a composite number, i.e. in this case, considered number of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x64.png" xlink:type="simple"/></inline-formula> is not a prime number. It should be noted here that if the number <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x65.png" xlink:type="simple"/></inline-formula> will be a composite number, then during the calculation of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x66.png" xlink:type="simple"/></inline-formula>, a sequence of digits of the fractional part of</p><p>this division result is periodically repeated while sorting parameter k. It can be easily seen after a few steps of cycle by k parameter, and it becomes clear that considered number <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x67.png" xlink:type="simple"/></inline-formula> is not a prime number. Then we can immediately stop the cycle. This greatly increases the efficiency and speed of the proposed algorithm.</p><p>Then we proceed to the next odd number. The procedure is repeated again for different values of k.</p><p>If even in this case, the selected number is again a composite number, then proceed again to the next odd number. The operation is repeated until the conditions of Equations (1a) and (1b) will not be fulfilled. For clarity, we will show this based on a simple example.</p><p>Suppose we have an original sequence of prime numbers<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x68.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x69.png" xlink:type="simple"/></inline-formula>. It is required to find the next fifth prime number <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x70.png" xlink:type="simple"/></inline-formula> In this case,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x71.png" xlink:type="simple"/></inline-formula>. For this, first for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x72.png" xlink:type="simple"/></inline-formula> we take 9 as an odd number next to 7. Then we calculate the values of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x73.png" xlink:type="simple"/></inline-formula> for different values of k from 1 to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x75.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x75.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x74.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x75.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x74.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x76.png" xlink:type="simple"/></inline-formula>, etc. As can be seen, the values of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x75.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x74.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x76.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x77.png" xlink:type="simple"/></inline-formula> constitutes an arithmetic progression with a difference of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x75.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x74.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x76.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x77.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x78.png" xlink:type="simple"/></inline-formula>. Note that among these values 841 and 1261 are composite numbers, and the rest of them are prime numbers. But we are looking for a prime number following 7.</p><p>Conducting the series of calculations, we see that a result of division of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x79.png" xlink:type="simple"/></inline-formula> at any value of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x80.png" xlink:type="simple"/></inline-formula> will</p><p>not be a whole number. This means that 9 is a composite number. After that for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x81.png" xlink:type="simple"/></inline-formula> we take the next odd number 11. Repeating the operation we obtain that at k = 10 value of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x82.png" xlink:type="simple"/></inline-formula> is divided by 11 evenly. Actually, 2101:11 = 191. This means that a prime number next to 7 is 11, i.e.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x81.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x82.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x83.png" xlink:type="simple"/></inline-formula>.</p><p>For completeness of the visualization, we consider one more sequence of prime numbers, with its last term as 23. In this case, first for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x84.png" xlink:type="simple"/></inline-formula> we take 25 as an odd number, next to number 23. And we see that it is a composite number. Then we select a number 27. At this time, the condition of Equation (1) will not be fulfilled, that is, we see that 27 is a composite number. When we select number 29, then at k = 17 condition of Equation (1) is satis-</p><p>fied, i.e. a value of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x85.png" xlink:type="simple"/></inline-formula> is a whole number. This</p><p>means that a prime number after 23 will be 29, i.e.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x86.png" xlink:type="simple"/></inline-formula>.</p><p>Sometimes it happens, that even at k = 1, we obtain desired results. For example, a value of</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x87.png" xlink:type="simple"/></inline-formula>is a whole number, i.e. 19 is a prime number after 17. In addition,</p><p>the numbers 17 and 19 are twins.</p><p>Some answers to the posed problem for a small set of primary prime numbers are given as <xref ref-type="table" rid="table1">Table 1</xref>. In this table, n is a counting number of a prime number.</p><p>In short, if there is a set of primary prime numbers, then while using expression of Equation (1) it is always possible to find the next prime number.</p><p>To show diversity to the proposed method, we offer one more elegant algorithm, the essence of which is primarily to find a value of k through existing prime numbers.</p><p>For this, we use Chinese remainder theorem, which states: “If natural numbers <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x88.png" xlink:type="simple"/></inline-formula> are coprimes in pairs, then for any whole numbers <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x89.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x90.png" xlink:type="simple"/></inline-formula> for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x91.png" xlink:type="simple"/></inline-formula> there is a number N, which when divided by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x91.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x92.png" xlink:type="simple"/></inline-formula> gives a reminder <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x91.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x93.png" xlink:type="simple"/></inline-formula> for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x91.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x93.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x94.png" xlink:type="simple"/></inline-formula>.” [<xref ref-type="bibr" rid="scirp.58852-ref2">2</xref>] .</p><p>It is known that constructive method for proving this theorem allows to solve the following system of linear equations modulo [<xref ref-type="bibr" rid="scirp.58852-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.58852-ref4">4</xref>] :</p><disp-formula id="scirp.58852-formula954"><label>(2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-8302610x95.png"  xlink:type="simple"/></disp-formula><table-wrap id="table1" ><label><xref ref-type="table" rid="table1">Table 1</xref></label><caption><title> Using with proposed theorem found primes number</title></caption><table><tbody><thead><tr><th align="center" valign="middle" >n</th><th align="center" valign="middle" >p<sub>n</sub></th><th align="center" valign="middle" >k</th><th align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x96.png" xlink:type="simple"/></inline-formula></th></tr></thead><tr><td align="center" valign="middle" >1</td><td align="center" valign="middle" >3</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" >3</td></tr><tr><td align="center" valign="middle" >2</td><td align="center" valign="middle" >5</td><td align="center" valign="middle" >4</td><td align="center" valign="middle" >25</td></tr><tr><td align="center" valign="middle" >3</td><td align="center" valign="middle" >7</td><td align="center" valign="middle" >3</td><td align="center" valign="middle" >91</td></tr><tr><td align="center" valign="middle" >4</td><td align="center" valign="middle" >11</td><td align="center" valign="middle" >10</td><td align="center" valign="middle" >2101</td></tr><tr><td align="center" valign="middle" >5</td><td align="center" valign="middle" >13</td><td align="center" valign="middle" >10</td><td align="center" valign="middle" >23101</td></tr><tr><td align="center" valign="middle" >6</td><td align="center" valign="middle" >17</td><td align="center" valign="middle" >2</td><td align="center" valign="middle" >60061</td></tr><tr><td align="center" valign="middle" >7</td><td align="center" valign="middle" >19</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" >510511</td></tr></tbody></table></table-wrap><disp-formula id="scirp.58852-formula955"><graphic  xlink:href="http://html.scirp.org/file/3-8302610x97.png"  xlink:type="simple"/></disp-formula><p>If sets (<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x98.png" xlink:type="simple"/></inline-formula>) и (<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x98.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x99.png" xlink:type="simple"/></inline-formula>) fulfill conditions of Chinese theorem, then solution for system of Equations (2) exists and is unique within the accuracy of an operation by modulo<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x98.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x99.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x100.png" xlink:type="simple"/></inline-formula>, and this solution looks like [<xref ref-type="bibr" rid="scirp.58852-ref2">2</xref>] -[<xref ref-type="bibr" rid="scirp.58852-ref4">4</xref>] :</p><disp-formula id="scirp.58852-formula956"><label>(3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-8302610x101.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x102.png" xlink:type="simple"/></inline-formula> (4)</p><disp-formula id="scirp.58852-formula957"><label>(5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-8302610x103.png"  xlink:type="simple"/></disp-formula><p>i.e. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x104.png" xlink:type="simple"/></inline-formula>is inverse for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x105.png" xlink:type="simple"/></inline-formula> by module<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x106.png" xlink:type="simple"/></inline-formula>.</p><p>Now, knowing the solution of Equation (3) we can easily find the values of factor k. It is obvious, that Chinese theorem is true for any sequence of prime numbers since prime numbers are always coprimes in pairs. Then, considering for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x107.png" xlink:type="simple"/></inline-formula> in the system of Equation (2) a sequence of prime numbers, for our case we obtain that</p><disp-formula id="scirp.58852-formula958"><label>. (6)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-8302610x108.png"  xlink:type="simple"/></disp-formula><p>Now, by combining the proposed theorem with Chinese theorem, we have from Equations (1)-(6):</p><disp-formula id="scirp.58852-formula959"><label>(7)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-8302610x109.png"  xlink:type="simple"/></disp-formula><p>Expression of Equation (7) shows that if a sequence of prime numbers is known, we are always able to calculate a value of k in advance. Then, by substituting of calculated value of k in Equation (1), we verify the fulfillment of the conditions of Equations (1a) and (1b). If these conditions are not fulfilled, then a number considered as <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x110.png" xlink:type="simple"/></inline-formula> is not a prime number. This number is the next composite number that stands for the prime number<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x111.png" xlink:type="simple"/></inline-formula>. And, if the conditions of Equations (1a) and (1b) are met, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x111.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x112.png" xlink:type="simple"/></inline-formula> is a desired prime number. After that, we proceed with finding next prime <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x110.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x111.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x112.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x113.png" xlink:type="simple"/></inline-formula> and the cycle repeats.</p><p>In this case algorithm for searching prime numbers in odd numbers series looks as follows.</p><p>Step 1. Input values of existing prime numbers<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x114.png" xlink:type="simple"/></inline-formula>, where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x115.png" xlink:type="simple"/></inline-formula>, etc.</p><p>Step 2. For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x116.png" xlink:type="simple"/></inline-formula>, we input an odd number, which in a line of odd numbers follows a prime number<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x116.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x117.png" xlink:type="simple"/></inline-formula>. Here<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x116.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x117.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x118.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x116.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x117.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x118.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x119.png" xlink:type="simple"/></inline-formula> In this case for 1<sup>st</sup> step<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x116.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x117.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x118.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x120.png" xlink:type="simple"/></inline-formula>.</p><p>Step 3. Calculate <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x121.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x122.png" xlink:type="simple"/></inline-formula>.</p><p>Step 4. Calculate <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x123.png" xlink:type="simple"/></inline-formula> for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x123.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x124.png" xlink:type="simple"/></inline-formula>.</p><p>Step 5. Using extended Euclid’s algorithm, we find <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x125.png" xlink:type="simple"/></inline-formula> for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x126.png" xlink:type="simple"/></inline-formula> from the condition <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x126.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x127.png" xlink:type="simple"/></inline-formula></p><table-wrap id="table2" ><label><xref ref-type="table" rid="table2">Table 2</xref></label><caption><title> Comparison results between Wilson’s theorem and proposed theorem</title></caption><table><tbody><thead><tr><th align="center" valign="middle"  colspan="3"  >Results obtained based on Wilson’s theorem</th><th align="center" valign="middle"  colspan="4"  >Results obtained based on proposed theorem</th></tr></thead><tr><td align="center" valign="middle" >n</td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x128.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x129.png" xlink:type="simple"/></inline-formula>mod n</td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x130.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x131.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >k</td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x132.png" xlink:type="simple"/></inline-formula></td></tr><tr><td align="center" valign="middle" >1</td><td align="center" valign="middle" >2</td><td align="center" valign="middle" >3</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" >2</td><td align="center" valign="middle" >3</td><td align="center" valign="middle" >4</td></tr><tr><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >2</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" >0</td><td align="center" valign="middle" >2</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" >0</td></tr><tr><td align="center" valign="middle" >3</td><td align="center" valign="middle" >2</td><td align="center" valign="middle" >0</td><td align="center" valign="middle" >3</td><td align="center" valign="middle" >2</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" >0</td></tr><tr><td align="center" valign="middle" >4</td><td align="center" valign="middle" >6</td><td align="center" valign="middle" >3</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >5</td><td align="center" valign="middle" >24</td><td align="center" valign="middle" >0</td><td align="center" valign="middle" >5</td><td align="center" valign="middle" >6</td><td align="center" valign="middle" >4</td><td align="center" valign="middle" >0</td></tr><tr><td align="center" valign="middle" >6</td><td align="center" valign="middle" >120</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >7</td><td align="center" valign="middle" >720</td><td align="center" valign="middle" >0</td><td align="center" valign="middle" >7</td><td align="center" valign="middle" >30</td><td align="center" valign="middle" >3</td><td align="center" valign="middle" >0</td></tr><tr><td align="center" valign="middle" >8</td><td align="center" valign="middle" >5,040</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >9</td><td align="center" valign="middle" >40,320</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >10</td><td align="center" valign="middle" >362,880</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >11</td><td align="center" valign="middle" >3,628,800</td><td align="center" valign="middle" >0</td><td align="center" valign="middle" >11</td><td align="center" valign="middle" >210</td><td align="center" valign="middle" >10</td><td align="center" valign="middle" >0</td></tr><tr><td align="center" valign="middle" >12</td><td align="center" valign="middle" >39,916,800</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >13</td><td align="center" valign="middle" >479,001,600</td><td align="center" valign="middle" >0</td><td align="center" valign="middle" >13</td><td align="center" valign="middle" >2310</td><td align="center" valign="middle" >10</td><td align="center" valign="middle" >0</td></tr><tr><td align="center" valign="middle" >14</td><td align="center" valign="middle" >6,227,020,800</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >15</td><td align="center" valign="middle" >87,178,291,200</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >16</td><td align="center" valign="middle" >1,307,674,368,000</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >17</td><td align="center" valign="middle" >20,922,789,888,000</td><td align="center" valign="middle" >0</td><td align="center" valign="middle" >17</td><td align="center" valign="middle" >30,030</td><td align="center" valign="middle" >2</td><td align="center" valign="middle" >0</td></tr><tr><td align="center" valign="middle" >18</td><td align="center" valign="middle" >355,687,428,096,000</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >19</td><td align="center" valign="middle" >6,402,373,705,728,000</td><td align="center" valign="middle" >0</td><td align="center" valign="middle" >19</td><td align="center" valign="middle" >510,510</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" >0</td></tr><tr><td align="center" valign="middle" >20</td><td align="center" valign="middle" >121,645,100,408,832,000</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >21</td><td align="center" valign="middle" >2,432,902,008,176,640,000</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >22</td><td align="center" valign="middle" >51,090,942,171,709,400,000</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >23</td><td align="center" valign="middle" >1,124,000,727,777,610,000,000</td><td align="center" valign="middle" >0</td><td align="center" valign="middle" >23</td><td align="center" valign="middle" >9,699,690</td><td align="center" valign="middle" >3</td><td align="center" valign="middle" >0</td></tr><tr><td align="center" valign="middle" >24</td><td align="center" valign="middle" >25,852,016,738,885,000,000,000</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >25</td><td align="center" valign="middle" >620,448,401,733,239,000,000,000</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >26</td><td align="center" valign="middle" >15,511,210,043,331,000,000,000,000</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >27</td><td align="center" valign="middle" >403,291,461,126,606,000,000,000,000</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >28</td><td align="center" valign="middle" >10,888,869,450,418,400,000,000,000,000</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >29</td><td align="center" valign="middle" >304,888,344,611,714,000,000,000,000,000</td><td align="center" valign="middle" >0</td><td align="center" valign="middle" >29</td><td align="center" valign="middle" >223,092,870</td><td align="center" valign="middle" >17</td><td align="center" valign="middle" >0</td></tr><tr><td align="center" valign="middle" >30</td><td align="center" valign="middle" >8,841,761,993,739,700,000,000,000,000,000</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >31</td><td align="center" valign="middle" >265,252,859,812,191,000,000,000,000,000,000</td><td align="center" valign="middle" >0</td><td align="center" valign="middle" >31</td><td align="center" valign="middle" >6,469,693,230</td><td align="center" valign="middle" >13</td><td align="center" valign="middle" >0</td></tr><tr><td align="center" valign="middle" >32</td><td align="center" valign="middle" >8,222,838,654,177,920,000,000,000,000,000,000</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >33</td><td align="center" valign="middle" >263,130,836,933,694,000,000,000,000,000,000,000</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >34</td><td align="center" valign="middle" >8,683,317,618,811,890,000,000,000,000,000,000,000</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >35</td><td align="center" valign="middle" >295,232,799,039,604,000,000,000,000,000,000,000,000</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >36</td><td align="center" valign="middle" >10,333,147,966,386,100,000,000,000,000,000,000,000,000</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >37</td><td align="center" valign="middle" >371,993,326,789,901,000,000,000,000,000,000,000,000,000</td><td align="center" valign="middle" >0</td><td align="center" valign="middle" >37</td><td align="center" valign="middle" >200,560,490,130</td><td align="center" valign="middle" >10</td><td align="center" valign="middle" >0</td></tr><tr><td align="center" valign="middle" >38</td><td align="center" valign="middle" >13,763,753,091,226,300,000,000,000,000,000,000,000,000,000</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >39</td><td align="center" valign="middle" >523,022,617,466,601,000,000,000,000,000,000,000,000,000,000</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >40</td><td align="center" valign="middle" >20,397,882,081,197,400,000,000,000,000,000,000,000,000,000,000</td><td align="center" valign="middle" >1</td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td><td align="center" valign="middle" ></td></tr><tr><td align="center" valign="middle" >41</td><td align="center" valign="middle" >815,915,283,247,898,000,000,000,000,000,000,000,000,000,000,000</td><td align="center" valign="middle" >0</td><td align="center" valign="middle" >41</td><td align="center" valign="middle" >7,420,738,134,810</td><td align="center" valign="middle" >34</td><td align="center" valign="middle" >0</td></tr></tbody></table></table-wrap><p>Step 6. Calculate the desired value of k by the formula:</p><disp-formula id="scirp.58852-formula960"><graphic  xlink:href="http://html.scirp.org/file/3-8302610x133.png"  xlink:type="simple"/></disp-formula><p>Step 7. Check fulfillment of equality (1).</p><p>Step 8. Conditional operator works here.</p><p>-If conditions of Equations (1a) and (1b) are not met, then considered number <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x134.png" xlink:type="simple"/></inline-formula> is not a prime number, then assign m = m + 1 and proceed to step 2. The cycle repeats until conditions of Equations (1a) and (1b) will not be met.</p><p>-If conditions of Equations (1a) and (1b) are fulfilled, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x135.png" xlink:type="simple"/></inline-formula> is a desired prime number, followed a prime number<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x135.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x136.png" xlink:type="simple"/></inline-formula>.</p><p>Step 9. Generation of the next prime number <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x137.png" xlink:type="simple"/></inline-formula> is carried out similarly.</p><p>The cycle repeats.</p><p>We assume that the process of generating prime numbers based on the proposed theorem is faster than a generation based on Wilson’s theorem.</p><p>In case of Wilson’s theorem it is quite difficult to calculate the factorial of (n − 1)!. In fact, if generation is carried out in the area of the large numbers, then calculation of given factorial creates significant difficulties. This is explained by the fact that there are intervals in the sequence of natural numbers which include thousands, millions, billions and even some arbitrarily large number of natural numbers standing in a row, among which there is no prime number. For example, if you set an arbitrary large natural number m, let build a series of numbers <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x138.png" xlink:type="simple"/></inline-formula> then it is obvious that each of these numbers is a composite number. You can easily check, particularly m! + 2 is evenly divided by 2, m! + 3 is divided by 3, and + is evenly divided by m, i.e. there is no a prime number in the large interval of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x138.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x139.png" xlink:type="simple"/></inline-formula>. If, for example, m = 10<sup>10</sup>, then in case of Wilson’s theorem, calculation of the factorial will inevitably lead to a large number of calculations involving a huge amount of large composite numbers. And in case of the proposed theorem calculations are mainly made with prime numbers.</p><p>This is clearly illustrated from <xref ref-type="table" rid="table2">Table 2</xref>, which shows results of searching prime numbers using methods following from Wilson’s theorem (left part of the table) and proposed theorem (right part of the table).</p><p>The left part of the table provides calculations made for values of from 2 to 41. In the 1<sup>st</sup> column of left part of the table (case of Wilson’s theorem) all natural numbers are given. In this column cells containing prime numbers which are green highlighted for illustrative purposes. In the 2<sup>nd</sup> column the calculated values of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x140.png" xlink:type="simple"/></inline-formula> factorial are shown. And 3<sup>rd</sup> column provides remainders which take zero values in case of prime numbers.</p><p>Similar results, obtained using proposed theorem, are shown in the right part of the table. First column of the right part shows prime numbers. Second column of this part presents calculated values of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x141.png" xlink:type="simple"/></inline-formula>. And the last column shows values of remainders which also take zero values for prime numbers.</p><p><xref ref-type="table" rid="table2">Table 2</xref> shows that, in case of Wilson’s theorem, in order to carry out generation of prime numbers at least up to 13<sup>th</sup> prime number, i.e. up to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x142.png" xlink:type="simple"/></inline-formula> it is necessary to perform a lot of laborious calculations with large numbers.</p><p>A right part of the table shows only those numbers with which the calculations have been made using the proposed method. Comparing the left and right parts of the table, we can see that efficiency, speed, and convenience of the proposed method are beyond question, this is obvious. Plus, for a set of large integers, this obviousness becomes even more than self-evident.</p><p>Note again that in case of Wilson’s theorem the complexity lies in calculation of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x143.png" xlink:type="simple"/></inline-formula> factorial. It is easier to calculate<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x143.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-8302610x144.png" xlink:type="simple"/></inline-formula>; therefore elementary tests, determining whether a number is prime number, are based on Fermat’s theorem, rather than on Wilson’s theorem. However, note that in contrast to Fermat’s small theorem, Wilson’s theorem simultaneously is a necessary and sufficient condition for determining primality of any number.</p></sec></body><back><ref-list><title>References</title><ref id="scirp.58852-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Vinogradov, I.M. (1952) Fundamental of the Theory of Number. 5th Edition, Publishing House of Technology &amp; Scientific Literature, 262.</mixed-citation></ref><ref id="scirp.58852-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Ishmuchametov, Sh.T. (2011) Methods of Factoring Natural Numbers. Kazan Federal University Press, Kazan, 202.</mixed-citation></ref><ref id="scirp.58852-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Nesterenko, А. (2011) Introduction to Modern Cryptography, Theoretical Numbers Algorithms. 190. 
http://img0.liveinternet.ru/images/attach/c/4/3908/3908902_ntheory.pdf</mixed-citation></ref><ref id="scirp.58852-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Gabidulin, E.М., Kshevetshkii, А.S. and Kolybelnikov, А.I. (2011) Information Security. МFTI, 262.</mixed-citation></ref></ref-list></back></article>