theorem :: ROUGHS_2:20

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