theorem :: FUNCT_5:65

for X being set
for x, y being object st x <> y holds
( Funcs (X,{x,y}), bool X are_equipotent & card (Funcs (X,{x,y})) = card (bool X) )