Soit \(P_n\) une assertion dépendant de \(n \in \N\) telle que:
1
\(P_0\) est vraie;
2
\(\forall n \in \N, P_n \Rightarrow (P_{n+3} \text{ et } P_{n+4})\).
Soit \(P_n\) une assertion dépendant de \(n \in \N\) telle que:
\(P_0\) est vraie;
\(\forall n \in \N, P_n \Rightarrow (P_{n+3} \text{ et } P_{n+4})\).