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