I'd hate to gravedig, but there is a neat proof for this.
It uses modular arithmetic which is one of the simplest and most useful little tricks in mathematics. This is basically a method of finding a remainder. I use it for puzzling out dates all the time. Lets say that today is a Monday. Seven...