theorem Th20: :: BORSUK_7:30

for a, b, c being object holds <*a,b,c*> = (1,2,3) --> (a,b,c)