Vinogradov's three primes theorem: vinogradov
Roth's theorem with the cirlce method: roth_circle
The Cauchy-Davenport theorem: cauchy_davenport
Erdős' bound for sumfree sets: sumfree_sets