User:IssaRice/Computability and logic/Diagonalization lemma (Yanofsky method)