Made the iteration table into a figure and added a theorem directly before the Turing proof.