Modular Arithmetic Properties