hafva bevisat vår sats.