...which is the same thing as Rice's theorem, and many other mind-bending results. It's all diagonalization under the hood =)