Two infinite rows of evenly-spaced dots are aligned as in the figure below. Arrows point from every dot in the top row to some dot in the lower row in such a way that:
[*]No two arrows point at the same dot.
[*]Now arrow can extend right or left by more than 1006 positions.
https://cdn.artofproblemsolving.com/attachments/7/6/47abf37771176fce21bce057edf0429d0181fb.png
Show that at most 2012 dots in the lower row could have no arrow pointing to them.