5.141

Se p segue da q e q da p, allora le due sono una e la stessa proposizione.