Deraf följer alltså ,att