theorem :: NUMBER17:57

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