Necesariamente debe cumplirse que: