That is essentially IVT, since P(-n) and P(3) yield opposite signs for sufficiently large n (i.e. when n goes to inifinty), then there is some root in (-n, 3), similarly, P(3) and P(5) yield opposite signs, and P(5) and P(n), for sufficiently large n is yield opposite signs.