Prove the divisibility criteria for 9, 11, and 17.

google casting out nines and so on.