The problem with that is: it is not sufficient to think this, we have to prove it.