The fixed point theorem for simplicial nonpositive curvature