If
n
is any positive integer, and
a
n
is the
n
th iterate of
x
0
for
f
, then
f
(
a
n
) is the (
n
+ 1)st iterate of
x
0
for
f
.
