skall bevisas i det följande.