Swartz Charles
A lemma of Labuda as a diagonal theorem