Now you are in the subtree of Lecture Notes public knowledge tree. 

Теорема о существовании генератора