for i being Element of I holds S . i is Subgroup of F . i ;
hence product S is strict Subgroup of product F by Th49; :: thesis: verum