uppstälde följande fyra satser: