A Lefschetz fixed point theorem for multivalued maps of finite spaces

We prove a version of the Lefschetz fixed point theorem for multivalued maps $F:X\multimap X$ in which $X$ is a finite $T_0$ space.