How do you find the definite integral of int 15-5x from [1,3]?