theorem Th2: :: MSUHOM_1:2

for I being set
for C being Subset of I holds C * c= I *