5.141

Si p suit de q et q suit de p, p et q ne sont qu’une seule et même proposition.