theorem :: XBOOLEAN:125

for p being boolean object holds p <=> p = TRUE