:Corollary to assumption: Through the definition of prime numbers such as described in the first "conceptualization" section, if any pair of positive integers ''n'' and ''o'' have an common integral factor ''f'' apart from one and themselves, they are not prime because they ''both'' have a non-prime type of positive integral factor; in fact it's the same one. | :Corollary to assumption: Through the definition of prime numbers such as described in the first "conceptualization" section, if any pair of positive integers ''n'' and ''o'' have an common integral factor ''f'' apart from one and themselves, they are not prime because they ''both'' have a non-prime type of positive integral factor; in fact it's the same one. |