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