5.141 Se p segue-se de q e q de p, ambas são pois uma única e mesma proposição.