It is embarrassing. I've spent nearly an hour for proving that if then 7 divides . Well, I tried several proof methods but I was very certain that Proof by Induction is the correct one. After a while, I washed the dishes to distract me from thinking (my husband will be happy, because it was his turn today ;) ), I returned to my desk and googled, but nothing.
Then I just wrote down and and asked myself what is the difference between and and suddenly it was clear. Of course, a number which includes the factor 7 is divisible by 7.