i know this problem uses the pigeonhole principle but i can't get to a point where i can use it. i would like to be able to remove a digit and somehow prove that each resulting number mod 7 is different. this is what i can't get to happen. at that point we could use the pigeonhole principle and say that one of the resulting numbers has to equal 0 mod 7.