theorem Th1: :: NUMBER17:1

for a, b, c, d being object holds dom <*a,b,c,d*> = {1,2,3,4}