https://www.marcogarosi.it/courses/computability/posts-theorem//