.. _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