Den sistnämnda satsen harutgjort