theorem :: FINSEQ_7:12

for D being non empty set
for p, q being Element of D holds Replace (<*p*>,1,q) = <*q*>