deletions | additions       diff --git a/Primality.tex b/Primality.tex  index e356f4b..fff5594 100644  --- a/Primality.tex  +++ b/Primality.tex 
...
\\\\  \begin{theorem}[Theorem 2]  $\forall \; p_i\in\mathbb{P}, n\in\mathbb{Z}\;:\;1;p_1p_2\cdotp_Nn$ m\in\mathbb{Z}\;:\;1;p_1p_2\cdots p_N n$  is divisible by $1;p_1,1;p_2,...,1;p_N$. \end{theorem}  \begin{proof}[Proof]  We may single out any of the $p_i$ and make $1;p_in$, if $Theorem \; 1$ holds, then it is divisible by $1;p_i$, \forall i\in1,\codots,N.