theorem :: NUMBER17:58

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