Det är sålunda bevisadt,