for i being Element of I holds (I --> T) . i is T_0 TopSpace ;
hence product (I --> T) is T_0 by Th37; :: thesis: verum