Borel fixed point theorem