Halting problem proved in a poem