theorem :: XBOOLEAN:127

for p, q, r being boolean object st p <=> q = TRUE & q <=> r = TRUE holds
p <=> r = TRUE