Dct är ocksä bewisadt ,att