Description: Lemma for dath . Show that the dummy atoms form a line. (Contributed by NM, 15-Aug-2012)