THEOREME.
SOIT P ET Q DEUX FORMES NORMALES TELLES QUE P = Q ALORS P ET Q SONT IDENTIQUES.
Démonstration.
Si P = Q alors il existe Z
tel que P := Z et Q :=
Z. Mais P étant une forme normale, il
n’y a plus rien à réduire donc P ≡Z.
De la même manière, on a Q ≡Z.