Behrend's theorem

Behrend's theorem is a result in the field of combinatorial number theory, particularly concerning the distribution of numbers that are free of a specific type of arithmetic progression.