Refactored the Turing proof with the following schema:
variable numbers are denoted with i
line     numbers are denoted with j