theorem Th2: :: NUMBER17:2

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