theorem :: FINSEQ_1:92

for x, y being object holds dom <*x,y*> = {1,2}