I came up with this nice little theorem, can anyone verify or deny it?

I can show my (very very long...need like six lemmas) proof, but it goes like this:

: Let and be two collections of topological spaces such that for all ( means homeomorphic). Then, under the product topology.Theorem:

Any comments would be nice.