theorem Th6: :: CAYLDICK:6

for x, y, X, Y being set st x in X & y in Y holds
<%x,y%> in product <%X,Y%>