User:Leigh.Samphier/Sandbox/Finite Product Space is Connected iff Factors are Connected