Deraf följer , att ,om