On veut démontrer qu’une proposition P pour tout n€N

Euh non on va pas faire des maths pour arrêter la branlette.
Qu'il aille se faire foutre.