for i being Element of I holds
( (I --> T) . i is T_1 & (I --> T) . i is TopSpace-like ) ;
hence product (I --> T) is T_1 by Th38; :: thesis: verum