This is a lemma for the proof that products of connected spaces are connected. I don't know if it's good for anything else, and the name is confusing. --Dfeuer (talk) 20:22, 7 December 2012 (UTC)