Bizonyítsuk be, hogy (a+b+c)7-a7-b7-c7 mindig osztható 7(a+b)(b+c)(c+a)-val (a, b és c közül legfeljebb csak egy lehet 0.)