theorem :: XBOOLEAN:19

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