Source: wikibot/turing-s-proof

= Turing's proof
{wiki=Turing's_proof}