theorem Th18: :: ROUGHS_2:18

for X being set
for f being Function of (bool X),(bool X) st f . {} = {} holds
(Flip f) . X = X