Att satsen är salflbewi