Some nonstandard methods in combinatorial number theory

A combinatorial result about internal subsets of ^*N is proved using the Lebesgue Density Theorem. This result is then used to prove a standard theorem about difference sets of natural numbers which provides a partial answer to a question posed by Erdös and Graham.The author wishes to thank the logic group at the University of Wisconsin, and especially Professor Keisler, for their generous support.