A nonstandard technique in combinatorial number theory. (August 2015)