Erdos-Fuchs theorem