Prouver qu'une proposition $P$ entraîne une proposition $Q$.
Choisissez une approche :
En supposant l'hypothèse vraie et en déduisant la conclusion
Démonstration directe d'une implication $P \Rightarrow Q$.