My idea is to use your solution to solve the halting problem.