Use the definition of big theta to prove that

a_kn^k + a_k-1n^k-1 + + a0 = (n^k). Here a_k, a_k-1, , a1, a0 are constants with a_k > 0, and k is a positive integer.