theorem :: XBOOLEAN:116

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