theorem Th134: :: FUNCT_4:134

for a, b, c, x, y, z being object st a <> b & a <> c holds
((a,b,c) --> (x,y,z)) . a = x