A very close variant of Richard Heck's argument is spelt out a trifle more laboriously on p. 225 of my *Introduction to Gödel's Theorem* (before I turn to Löb's Theorem six pages later). I can't recall, though, where I first picked it up from or when. -- Dr Peter Smith, University of Cambridge logicmatters.net