Vi hafva uttryckligen påvisat,