theorem :: XBOOLEAN:101

for p, q being boolean object st p '&' q = TRUE holds
( p = TRUE & q = TRUE )