Af allt detta följer,