Detta borde visserligen bevisas,