theorem :: FINSEQ_1:78

for a, b, c, d, e, f being object st <*a,b,c*> = <*d,e,f*> holds
( a = d & b = e & c = f )