Прямая пропорциональность является линейной функцией