Text this: The Matiyasevich Theorem. Preliminaries