Däraf följer alltså ,att