Dokonceny dokaz (l-a)*, pridane epsilon v lookarounde.