Talk:Hattori–Stong theorem