Talk:Kan-Thurston theorem