Talk:Yan's theorem