theorem Th32: :: CARD_FIN:33

for F being Function
for x1, x2 being object
for Ch1, Ch2 being Function st Ch1 " {x1} = Ch2 " {x2} holds
Intersection (F,Ch1,x1) = Intersection (F,Ch2,x2)