added a counter-example to theorem 1