Vi hafva bevisat detta , idet