p(1): 1 + 23 + 33 = 1 + 8 + 27 = 36 divisible by 9, hence true.
Assuming that true for p(k)
p(k): k3 + (k + 1)3 + (k + 2)3 is divisible by 9.
⇒ k3 + (k + 1)3 + (k + 2)3 = 9M
p(k +1 ): (k + 1)3 + (k + 2 )3 + (k + 3)3
= (k +1)3 + (k + 2)3 + k3 + 9k2 + 27k + 27
= [(k + 1)3 + (k + 2)3 + k3] + 9[k2 + 3k + 3]
= 9M + 9[k2 + 3k + 3]
Hence p(k + 1)divisible by 9.
Therefore by using the principle of mathematical induction true for all n ∈ N.