已知函数f(x)等于x减3