Houjun Liu
diagonalization argument
see
Diagonalization Arguments