Which theorem equates the value of a polynomial at a given value ,k, to the value of the synthetic division of the polynomial by x-k?

It's the remainder theorem

in mathematics, a function is a relationship between two variables such that the value of one of the variables, called the dependent variable, is determined by the value of the other variable, called the independent variable. there is a specific term we use to describe the set of independent variables of a function.