theorem Th34: :: CARD_FIN:35

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