Théorème de la sous-formule

Juste le cas propositionnel, évite pas mal de problèmes et déjà suffisamment long !