theorem Th62: :: NUMBER17:62

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