# Arithmetic progressions and relative primes

 Title: Arithmetic progressions and relative primes Author: José Manuel Rodríguez Caballero Submission date: 2020-02-01 Abstract: This article provides a formalization of the solution obtained by the author of the Problem “ARITHMETIC PROGRESSIONS” from the Putnam exam problems of 2002. The statement of the problem is as follows: For which integers n > 1 does the set of positive integers less than and relatively prime to n constitute an arithmetic progression? BibTeX: @article{Arith_Prog_Rel_Primes-AFP, author = {José Manuel Rodríguez Caballero}, title = {Arithmetic progressions and relative primes}, journal = {Archive of Formal Proofs}, month = feb, year = 2020, note = {\url{https://isa-afp.org/entries/Arith_Prog_Rel_Primes.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License