Van -y> -x + 4 y> x-4?

Nem.

Egyenlőtlenséggel, ha mindkét oldalt negatív értékkel szaporítjuk, az egyenlőtlenség megfordul

# -y> -x + 4 #

egyenértékű

#y <x-4 #

Az egyik módja annak, hogy ezt lássa

hozzáad # (- y) # mindkét oldalra:

# 0> (-x + 4) + y #

majd vonja le (-x + 4) mindkét oldalról

# x-4 <y #

amit meg lehet írni

#y <x-4 #