Nelygybės su moduliais

Kaip randamas nelygybių su moduliu sistemos galutinis sprendinys?