Det är bewisadl ,att