일단 A*이 문제 내에서 expressable 한걸 이용해서
Diagonal Lemma 이용해서 증명했습니다.

감사합니다.