deletions | additions       diff --git a/Primality.tex b/Primality.tex  index fff5594..e779e9d 100644  --- a/Primality.tex  +++ b/Primality.tex 
...
\end{theorem}  \begin{proof}[Proof]  Automatically true for $n=1$. \\  No proof for other $n$, only based on the evidence above. Is a conjecture for now.  \\ \end{proof}  \\\\