Let a,b,n be positive integers. Prove by induction or otherwise that if n divides a+b and n^2 divides a^2 + b^2, then n^m divides a^m + b^m for all positive integers m.