Deraf följer alltså , att endy