section \<open>Comprehensive number theory\<close> theory Number_Theory imports Fib Residues Eratosthenes begin end