proportional function

[ریاضیات] گزاره نما، تابع گزاره نما