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