LARA This is an old revision of the document! Exercise: Prove that it holds or construct a counterexample which shows that it does not hold: Solution: aaaa