How do I use the factor theorem to prove x-4 must be a factor of x^2-3x-4?