In general, given two functions formula_3 and formula_4, if there is a constant formula_5 such that formula_6, then we say that "formula_7 is directly proportional to formula_8". In symbols, this can be written as formula_9.