theorem Th4: :: AMI_8:4

for x1, x2, x3, x4, x5 being object holds dom <%x1,x2,x3,x4,x5%> = {0,1,2,3,4}