proc , , och detta faktum bevisartillräckligt