uppstälde följande fyra satser : 1.