Deraf följer , att denaf