den dittills antagna satsen ,att