По определению модуля выражение y f x равносильно системе f x