Add reduced product homeomorphism lemma
Fix definition of p

Because p = projection and p = function from definition of reduced
product are two different functions.