theorem Th1: :: YELLOW17:1

for F being Function
for i, xi being set
for Ai being Subset of (F . i) st (proj (F,i)) " {xi} meets (proj (F,i)) " Ai holds
xi in Ai