Нет это не прямая пропорциональность, пропорциональность выглядит так: y=k*x
У вас же y=-4
То можно предположить либо что x=y То тогда обычная линия которая проходить через начала координат
Либо перпендикуляр относительно оси ординат, в точках 0 и -4