5.141

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