si M est un atome, constante ou variable, M est déjà sous la forme demandée avec n = 0 ;
Si M
≡ P Q, on suppose par
hypothèse d’induction que P possède
la propriété donc P peut s’écrire a
P1 … Pu. Donc :
M
≡ P Q ≡ (a
P1 … Pu) Q ≡ a
P1 … Pu Q par application de la règle
d’associativité à gauche de application.