theorem Th3: :: LATSUM_1:3
for R, S being RelStr st R is reflexive & S is reflexive holds
R [*] S is reflexive