( ( Dessa satser bevisas i det följande genomen