Talk:Agnew's theorem