Det är nemligen bevisgt,