I hastily/quickly added Lemmas 6, 7, 8, C1 and 9 (hopefully without typos).
update of Hajek