The question is to prove the following using strong induction:
"For 4^k, where k is a nonnegative integer, if k is even then the ones digit of 4^k is 6 and if k is odd then the ones digit of 4^k is 4."
The problem also hints at using the quotient-remainder theorem (n = dq + r). By setting d = 10, r would be the ones digit of n. I don't know how to connect this with the problem.
I've been thinking about this problem for literally hours and have no idea what to do. Any help would be appreciated.
What happens if you multiply a number that ends in a 6 by 4? What about if the number ends in a 4 instead?