i couldnt come up with a proof for the initial problem (n^6+n^3+2n^2 is a multiple of 6 for every n)

because it's not true (simply insert 1, 2, 4 or 5)