Exact Realizability, Periodic Points