theorem :: FINSEQ_3:34

for x, y, z being object holds {} <> <*x,y,z*> ;