Dct är bewisadt af ettbref