Nelygybės su moduliais

Ar tiesa, kad jei bent viena nelygybė su moduliu sistemoje neturi sprendinių, tai ir visa sistema sprendinių neturi?