theorem Th4: :: NOMIN_2:4

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