Desenvolve congruências, equações diofantinas e teoremas clássicos sobre inteiros. Inclui testes simples de primalidade e aplicações em calendários e códigos.