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