D : bewisade ,att