5.141 Folgt p aus q und q aus p, so sind sie ein und derselbe Satz.