1 uppstälda grundsats ,att