for F, G being Function st F,G are_fiberwise_equipotent holds
rng F = rng G