uppstält den satsen ,att