Divisibility rules, basic modular arithmetic, and well-known modular arithmetic techniques and theorems