chain inversion lemma
chain inversion: fix numbering
finish proof of existence of epsilon