Talk:Mirsky's theorem