Delve into modular arithmetic and its applications in number theory, including proofs and examples.