.. _number_theory:

Elementary Number Theory
========================

In this chapter, we show you how to formalize some elementary
results in number theory.
As we deal with more substantive mathematical content,
the proofs will get longer and more involved,
building on the skills you have already mastered.

.. include:: C05_Elementary_Number_Theory/S01_Irrational_Roots.inc
.. include:: C05_Elementary_Number_Theory/S02_Induction_and_Recursion.inc
.. include:: C05_Elementary_Number_Theory/S03_Infinitely_Many_Primes.inc