Added a lot of Modular Arithmetic and Congruences