for F being Function
for X being finite set ex f being FinSequence st F | X,f are_fiberwise_equipotent