theorem FlipCC: :: ROUGHS_3:3

for A being non empty set
for f, g being Function of (bool A),(bool A) st f cc= g holds
Flip g cc= Flip f