då det är bewisadt ,att