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