Prove that the number of pairs $ \left(\alpha,S\right)$ of a permutation $ \alpha$ of $ \{1,2,\dots,n\}$ and a subset $ S$ of $ \{1,2,\dots,n\}$ such that \[ \forall x\in S: \alpha(x)\not\in S\] is equal to $ n!F_{n + 1}$ in which $ F_n$ is the Fibonacci sequence such that $ F_1 = F_2 = 1$
Problem
Source: Iranian National Olympiad (3rd Round) 2008
Tags: combinatorics proposed, combinatorics