Talk:Discrete fixed-point theorem