Prove that a positive integer in decimal number system is divisible by 3 if and only if the sum of its digits in septenary number system is divisible by 3.