theorem :: NECKLACE:8

for A, a, b being set holds (A --> a) +* (A --> b) = A --> b