Om ej denna sats antages,