New proof of a theorem of Gaifman and Hales