uppställer derefter följande satser,