En mcd tilfirlikelige bewisförsedd