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