theorem Th121: :: FUNCT_7:122

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