bevisar just vår sats.