theorem :: XBOOLEAN:126

for p, q, r being boolean object holds (((p <=> q) <=> r) <=> p) <=> (q <=> r) = TRUE