möda , att ett sädant bewis existerar.