Sorry, I wrote a wrong assertion and I remove it.