added remark to make it clear that proof of lemma 3 is incomplete
added appendix with an example