§ Lefschetz fixed point theorem (WIP)

§ Deducing Euler Characteristic from Lefschetz

§ Deducing Brouwer from Lefschetz