theorem Thm26: :: SRINGS_4:27

for x, y being set holds (product <*x*>) \ (product <*y*>) = product <*(x \ y)*>