De uppställa satsen ,att