Take a = 2, b = 1 and k = 2 By the way, the assumption is unnecessary because 6 divides 0.

To prove that 6 divides , prove that is even by considering cases where a and b are even or odd. Also, prove that is divisible by 3 by considering various remainders when a and b are divided by 3.