Sea $X$ un conjunto finito, y $f : X \rightarrow X$. Supongamos que existe un primo $p$ tal que $f^p(x) = x$ para todo $x \in X$. Sea $Y = \{x \in X \,|\, f(x) \neq x\}$. Demuestra que $p \mid |Y|$.