theorem Th60: :: NUMBER17:60

for a, b, c, d being set holds Replace (<%a,b,c%>,0,d) = <%d,b,c%>