Description: Technical lemma for bnj124 . This lemma may no longer be used or have
become an indirect lemma of the theorem in question (i.e. a lemma of a
lemma... of the theorem). (Contributed by Jonathan Ben-Naim, 3-Jun-2011)(New usage is discouraged.)