Modular Arithmetic and Finite Fields