theorem :: FINSEQ_6:29

for x, y being set holds <*x,y*> |-- x = <*y*>