Vi hafva sålunda visat,