New preamble as well as all lemmas needed for Kolmogorov. Startet revising the technical lemma.