theorem Th19: :: ROUGHS_2:19

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