theorem Th23: :: ROUGHS_2:23

for X being set
for f being Function of (bool X),(bool X) holds Flip (Flip f) = f