theorem Th122: :: FUNCT_7:123

for a, b, c being set holds ((a,b) followed_by c) . 1 = b