Twin Primes - A more formal proof.Here is a more formal statement of the proof with formulae given in LaTex format. The wording could be improved a bit more, or a few formulas added between lines for clarity, however this should be e