Let P(n) represent the statement that 'f(n) is divisible by 19'. For the basis step, I prove that P(1) is true: f(1) = 33(1)-2+ 23(1)+1 = 19. 19 is divisible by 19 so P(1) is true. I now want to prove that P(k) implies P(k+1) for all positive integers k. I therefore assume P(k), and I can write: 33k-2+ 23k+4 = 19m for some positive integer m. f(k+1) = 33k+1+23k+4 = 27(33k-2) + 8(33k+1) = 8(33k-2+23k+1) + 19(33k-2). I now substitute my assumption: f(k+1) = 19(8m + 33k-2). So P(k) implies P(k+1). Since P(1) is true, P(n) is therefore true for all positive integers n as required.