theorem Th44: :: TOPS_5:44

for x, y, z being object holds (x .--> y) +* (x,z) = x .--> z