• 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.
  • M := L := N
    on prend Z ≡N
  • M := L =: N
    on prend Z ≡L
  • M =: L =: N
    on prend Z ≡M
  • M =: L := N
    on prend Z donné par le lemme C-R.