theorem Th33: :: CARD_FIN:34

for F, Ch being Function
for y being object st Ch " {y} = {} holds
Intersection (F,Ch,y) = union (rng F)