It proves that if you add a digit to a number you can get the remainder for the new number by adding the new digit to the remainder of the old number and creating the remainder of the sum. By induction this fact should prove the divisibility rule for 3. I think.
Doe this count? http://svn.clifford.at/handicraft/2018/rule3smt/rule3.smt … (I hope it's correct, I just got up and am not entirely awake yet. :)
-
-
This Tweet is unavailable.
-
- Show replies
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.